Michele Volpato
Geciteerd door
Geciteerd door
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
Active learning of nondeterministic systems from an ioco perspective
M Volpato, J Tretmans
International Symposium On Leveraging Applications of Formal Methods …, 2014
Approximate Active Learning of Nondeterministic Input Output Transition Systems
M Volpato, J Tretmans
Proceedings of the 15th International Workshop on Automated Verification of …, 2015
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–6