6 citations · 9 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2010★ 6 cited
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prov…