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
On the Probabilistic and Statistical Verification of Infinite Markov Chains (Invited Talk)
Patricia Bouyer.
2025
Conference papers
Reachability in multi-agent transfer systems (Extended Version)
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H Roux, Jun Sun.
2025
Conference papers
Johan Arcile, Étienne André.
In : Innovations in Systems and Software Engineering, 2025
Journal articles
Beyond Decisiveness of Infinite Markov Chains
Benoît Barbot, Patricia Bouyer, Serge Haddad.
2024
Conference papers
Computational assessment of Amazon forest plots regrowth capacity under strong spatial variability for simulating logging scenarios
Gilles Ardourel, Guillaume Cantin, Benoît Delahaye, Géraldine Derroire, Beatriz M Funatsu, David Julien.
In : Ecological Modelling, 2024
Journal articles
CosyVerif: The Path to Formalisms Cohabitation
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci.
2024
Conference papers
Diagnosis of Stochastic Systems: Optimising Costs and Delays
End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models
David Julien, Gilles Ardourel, Guillaume Cantin, Benoit Delahaye.
In : ACM Transactions on Modeling and Computer Simulation, 2024
Journal articles
Pages – 1 – 2 – 3 – 4