52 citations · 142 across the 23 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 52 cited
Stochastic Timed Automata
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye +4
A stochastic timed automaton is a purely stochastic process defined on a timed automaton, in which both delays and discrete choices are made randomly. We study the almost-sure mode…
cs.LO2014
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems
Nathalie Bertrand, Luca Bortolussi
This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in Grenoble, France, on 12 and 13 April,…