52 citations · 56 across the 2 of their papers we have counts for
2 papers
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.GT2014★ 4 cited
Approximate well-supported Nash equilibria in symmetric bimatrix games
Artur Czumaj, Michail Fasoulakis, Marcin Jurdziński
The -well-supported Nash equilibrium is a strong notion of approximation of a Nash equilibrium, where no player has an incentive greater than to deviate…