Author:Arnd Hartmanns

Publications
ARCH-COMP18 Category Report: Stochastic Modelling Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian-Ioan Vasile and Abraham P. Vinod In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems