Seguir
Michele Volpato
Título
Citado por
Citado por
Año
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
Active learning of nondeterministic systems from an ioco perspective
M Volpato, J Tretmans
International Symposium On Leveraging Applications of Formal Methods …, 2014
202014
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
202012
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6