8 citations · 22 across the 17 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
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…
cs.LO2016
Qualitative Analysis of VASS-Induced MDPs
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr +2
We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs are…