85 citations · 279 across the 25 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
A Hierarchy of Scheduler Classes for Stochastic Automata
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns +1
Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are def…
cs.LO2014★ 2 cited
Lightweight Monte Carlo Verification of Markov Decision Processes with Rewards
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Markov decision processes are useful models of concurrency optimisation problems, but are often intractable for exhaustive verification methods. Recent work has introduced lightwei…