A Hierarchy of Scheduler Classes for Stochastic Automata

Title A Hierarchy of Scheduler Classes for Stochastic Automata
Author
Pedro D'Argenio
Marcus Gerhold
Arnd Hartmanns
Sean Sedwards
Year of Conference
2018
Volume
10803
Number of Pages
384\textendash402
Publisher
Springer
Conference Location
Thessaloniki, Greece
URL
https://link.springer.com/chapter/10.1007/978-3-319-89366-2_21
Download citation