Follow
Michele Volpato
Title
Cited by
Cited by
Year
Weak and dynamic controllability of temporal problems with disjunctions and uncertainty
KB Venable, M Volpato, B Peintner, N Yorke-Smith
Workshop on constraint satisfaction techniques for planning & scheduling, 50-59, 2010
302010
Approximate Active Learning of Nondeterministic Input Output Transition Systems
M Volpato, J Tretmans
Proceedings of the 15th International Workshop on Automated Verification of …, 2015
222015
Active learning of nondeterministic systems from an ioco perspective
M Volpato, J Tretmans
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
202014
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
Stochastic Model Checking. Rigorous Dependability Analysis Using Model …, 2014
192014
Bigger is not always better: on the quality of hypotheses in active automata learning
R Smetsers, M Volpato, F Vaandrager, S Verwer
International Conference on Grammatical Inference, 167-181, 2014
122014
Towards quality of model-based testing in the ioco framework
M Volpato, J Tretmans
Proceedings of the 2013 International Workshop on Joining AcadeMiA and …, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–6