Publications de l’ANR déposées sur HAL
State-Space Abstractions for Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen, Laure Petrucci, Jaco van de Pol.
2027
Conference papers
Active Diagnosis with Costs and Rewards
Serge Haddad, Engel Lefaucheux, Stefan Schwoon.
2026
Conference papers
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
Execution-Time Opacity in (Controllable) Timed Automata is hard *
Sarah Dépernet, Engel Lefaucheux.
2026
Preprints, Working Papers…
Formal analysis of hybrid systems using parametric Statistical Model Checking
Sully Mak, Guillaume Cantin, Benoît Delahaye.
2026
Conference papers
Kamp Theorem for Pomset Languages of Higher Dimensional Automata
Emily Clement, Enzo Erlich, Jérémy Ledent.
2026
Conference papers
Model Checking Timed and Strategic Properties
Étienne André, Wojciech Penczek, Laure Petrucci.
In : LNCS Transactions on Petri Nets and Other Models of Concurrency, 2026
Journal articles
Positional Determinacy with Colored Vertices: a 1-to-2-Player Lift
Raphaël Berthon, Stéphane Le Roux.
2026
Conference papers
Reachability in multi-agent transfer systems
Nathalie Bertrand, Loïc Hélouët, Engel Lefaucheux, Luca Paparazzo.
2026
Conference papers
Pages – 1 – 2 – 3 – 4 – 5 – 6