Michele Volpato
TitleCited byYear
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
242010
Active learning of nondeterministic systems from an ioco perspective
M Volpato, J Tretmans
International Symposium On Leveraging Applications of Formal Methods …, 2014
142014
Approximate Active Learning of Nondeterministic Input Output Transition Systems
M Volpato, J Tretmans
Proceedings of the 15th International Workshop on Automated Verification of …, 2015
112015
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
112012
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
92013
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
72014
The system can't perform the operation now. Try again later.
Articles 1–6