@conference{ARCH-2018,
    author    = {Abate, Alessandro and Blom, Henk and Cauchi, Nathalie and Haesaert, Sofie and Hartmanns, Arnd and Lesser, Kendra and Oishi, Meeko and Sivaramakrishnan, Vignesh and Soudjani, Sadegh and Vasile, Cristian Ioan and Vinod, Abraham P.},
    title     = {{ARCH-COMP18 Category Report: Stochastic Modelling}},
    booktitle = {ADHS Applied Verification for Continuous and Hybrid Systems (ARCH) Workshop},
    pages     = {71--103},
    month     = {July},
    address   = {Oxford, UK},
    year      = {2018},
    note      = {\href{https://easychair.org/publications/paper/DzD8}{doi:10.29007/7ks7}}
}