Publications de l’ANR déposées sur HAL
Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier, Pierre Vandenhove.
2026
Book sections
Reachability in multi-agent transfer systems
Controller Synthesis for Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol.
2025
Conference papers
Energy Transfer in Timed Cyclic Networks
Luca Paparazzo, Loïc Hélouët, Nicolas Markey.
2025
Conference papers
Formal models are magic
Davide Catta, Wojciech Penczek, Laure Petrucci.
2025
Conference papers
On the Probabilistic and Statistical Verification of Infinite Markov Chains (Invited Talk)
Patricia Bouyer.
2025
Conference papers
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems
Yan Kim, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci.
2025
Conference papers
Probabilistic Timed ATL
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk.
2025
Conference papers
Reachability in multi-agent transfer systems (Extended Version)
Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR
Wojciech Penczek, Laure Petrucci, Teofil Sidoruk.
2025
Conference papers
Pages – 1 – 2 – 3 – 4 – 5