Nathalie Bertrand
Identifiers
- name variant Nathalie Bertrand 0.60 · backfill
Papers (7)
- Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes cs.LO · 2018 · author #2
- Parameterized verification of synchronization in constrained reconfigurable broadcast networks cs.LO · 2018 · author #2
- When are Stochastic Transition Systems Tameable? cs.LO · 2017 · author #1
- Emptiness and Universality Problems in Timed Automata with Positive Frequency cs.FL · 2013 · author #1
- Bounded Satisfiability for PCTL cs.LO · 2012 · author #1
- Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides cs.GT · 2008 · author #1
- Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties cs.LO · 2005 · author #2
Mentions
Frequent Coauthors
- Christel Baier 2 shared papers
- Patricia Bouyer 2 shared papers
- Thomas Brihaye 2 shared papers
- Amelie Stainer 1 shared papers
- A. R. Balasubramanian 1 shared papers
- Blaise Genest 1 shared papers
- Clemens Dubslaff 1 shared papers
- Daniel Gburek 1 shared papers
- Hugo Gimbert (LaBRI) 1 shared papers
- John Fearnley 1 shared papers
- Nicolas Markey 1 shared papers
- Ocan Sankur 1 shared papers
- Philippe Schnoebelen 1 shared papers
- Pierre Carlier 1 shared papers
- Sven Schewe 1 shared papers