3 citations · 3 across the 2 of their papers we have counts for
2 papers
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.LO2015★ 3 cited
Ioco Theory for Probabilistic Automata
Marcus Gerhold, Mariëlle Stoelinga
Model-based testing (MBT) is a well-known technology, which allows for automatic test case generation, execution and evaluation. To test non-functional properties, a number of test…