CFV Publications of Nathalie Bertrand
Download this author's CFV publication list:
[BibTeX]
2014
-
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata
Bertrand, N, Brihaye T, Genest B
[BibTeX]
-
Stochastic Timed Automata
Bertrand, N, Bouyer P, Brihaye T, Menet Q, Baier C, Größer M, Jurdzinski M
[BibTeX]