48 citations · 241 across the 30 of their papers we have counts for
3 papers · 2 filters
Bounding Average-energy Games
Patricia Bouyer, Piotr Hofman, Nicolas Markey +2
We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, de…
Reachability in Networks of Register Protocols under Stochastic Schedulers
Patricia Bouyer, Nicolas Markey, Mickael Randour +2
We study the almost-sure reachability problem in a distributed system obtained as the asynchronous composition of N copies (called processes) of the same automaton (called protocol…
Symbolic Optimal Reachability in Weighted Timed Automata
Patricia Bouyer, Maximilien Colange, Nicolas Markey
Weighted timed automata have been defined in the early 2000's for modelling resource-consumption or -allocation problems in real-time systems. Optimal reachability is decidable in…