Nathalie Bertrand
Scholar

Nathalie Bertrand

Google Scholar ID: VL6vqWwAAAAJ
Univ Rennes, Inria, CNRS, IRISA
theoretical computer sciencemodel checkingprobabilistic systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,827
 
H-index
27
 
i10-index
39
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
8 items
Target Discounted Sum Problem on Markov Chains with Applications to Markov Decision Processes
2026
Cited
0
Categorizer Automata for Discounted-Sum Payoffs
2026
Cited
0
Reaching as Cheap as Possible in 1-clock Robust Weighted Timed Games
2026
Cited
0
Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems
2026
Cited
0
Reach together: How populations win repeated games
2025
Cited
0
Reusable Formal Verification of DAG-based Consensus Protocols
arXiv.org · 2024
Cited
0
Games on Graphs
arXiv.org · 2023
Cited
0
Taming denumerable Markov decision processes with decisiveness
2020
Cited
0
Resume (English only)
Co-authors
10 total
Christel Baier
Christel Baier
TU Dresden
Co-author 2
Co-author 2
Thomas Brihaye
Thomas Brihaye
UMONS
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Thierry Jéron
Thierry Jéron
Univ Rennes, Inria, CNRS, IRISA
Hugo Gimbert
Hugo Gimbert
chargé de recherche au CNRS, LaBRI, Bordeaux
Co-author 8
Co-author 8