Publications de l’ANR déposées sur HAL
Active Diagnosis with Costs and Rewards
Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier, Pierre Vandenhove.
2026
Book sections
Execution-time opacity control for timed automata
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux.
In : Software and Systems Modeling, 2026
Journal articles
Reachability in multi-agent transfer systems
Verification of Robust Multi-Agent Systems
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano.
2026
Conference papers
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
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
Nicolaj Ø Jensen, Kim G Larsen, Didier Lime, Jiří Srba.
2025
Conference papers
Pages – 1 – 2 – 3 – 4 – 5 – 6