ARCH−COMP19 Category Report: Stochastic Modelling
Alessandro Abate‚ Henk Blom‚ Nathalie Cauchi‚ Kurt Degiorgio‚ Martin Franzle‚ Ernst Moritz Hahn‚ Sofie Haesaert‚ Hao Ma‚ Meeko Oishi‚ Carina Pilch‚ Anne Remke‚ Mahmoud Salamati‚ Sadegh Soudjani‚ Birgit van Huijgevoort and Abraham Vinod
Book Title
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Editor
Goran Frehse and Matthias Althoff
Pages
62–102
Series
EPiC Series in Computing
Volume
61
Year
2019