Scholar
Nathalie Bertrand
Google Scholar ID: VL6vqWwAAAAJ
Univ Rennes, Inria, CNRS, IRISA
theoretical computer science
model checking
probabilistic systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,827
H-index
27
i10-index
39
Publications
20
Co-authors
10
list available
Publications
9 items
Antichains for Concurrent Parameterized Games
2026
Cited
0
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
Load more
Co-authors
6 total
Christel Baier
TU Dresden
Thomas Brihaye
UMONS
Thierry Jéron
Univ Rennes, Inria, CNRS, IRISA
Hugo Gimbert
chargé de recherche au CNRS, LaBRI, Bordeaux
Sven Schewe
Professor of Computer Science, University of Liverpool
Parosh Abdulla
Professor of Computer Science, Uppsala University
