| No. |
Title |
Author |
Year |
| 1 |
About Decisiveness of Dynamic Probabilistic Models |
Finkel, Alain et al. |
2023 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Haddad, Serge et al. |
2021 |
| 3 |
LIPIcs, Volume 203, CONCUR 2021, Complete Volume |
Haddad, Serge et al. |
2021 |
| 4 |
Active Prediction for Discrete Event Systems |
Haar, Stefan et al. |
2020 |
| 5 |
Probabilistic Disclosure: Maximisation vs. Minimisation |
Bérard, Béatrice et al. |
2018 |
| 6 |
Unbounded Product-Form Petri Nets |
Bouyer, Patricia et al. |
2017 |
| 7 |
Diagnosis in Infinite-State Probabilistic Systems |
Bertrand, Nathalie et al. |
2016 |
| 8 |
Foundation of Diagnosis and Predictability in Probabilistic Systems |
Bertrand, Nathalie et al. |
2014 |
| 9 |
Optimal Constructions for Active Diagnosis |
Haar, Stefan et al. |
2013 |
