@inproceedings{8ba81db8709e4aaf82446df8472479a8,
title = "ARCH-COMP18 Category Report: Stochastic Modelling",
author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Sofie Haesaert and Arnd Hartmanns and Kendra Lesser and Meeko Oishi and Vignesh Sivaramakrishnan and Sadegh Soudjani and Vasile, {Cristian Ioan} and Vinod, {Abraham P.}",
year = "2018",
doi = "10.29007/7ks7",
language = "English",
volume = "54",
series = "EPiC Series in Computing",
publisher = "EasyChair",
pages = "71--103",
editor = "Goran Frehse and Matthias Althoff and Sergiy Bogomolov and Johnson, {Taylor T.}",
booktitle = "Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018)",
address = "United Kingdom",
note = "5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2018 ; Conference date: 13-07-2018 Through 13-07-2018",
}