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