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, Abraham P. Vinod

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    51 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018)
    EditorsGoran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson
    PublisherEasyChair
    Pages71-103
    Number of pages33
    Volume54
    DOIs
    Publication statusPublished - 2018
    Event5th International Workshop on Applied Verification of Continuous and Hybrid Systems - Oxford, United Kingdom
    Duration: 13 Jul 201813 Jul 2018
    Conference number: 5

    Publication series

    NameEPiC Series in Computing
    PublisherEasyChair

    Workshop

    Workshop5th International Workshop on Applied Verification of Continuous and Hybrid Systems
    Abbreviated titleARCH 2018
    CountryUnited Kingdom
    CityOxford
    Period13/07/1813/07/18

    Cite this

    Abate, A., Blom, H., Cauchi, N., Haesaert, S., Hartmanns, A., Lesser, K., ... Vinod, A. P. (2018). ARCH-COMP18 Category Report: Stochastic Modelling. In G. Frehse, M. Althoff, S. Bogomolov, & T. T. Johnson (Eds.), Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018) (Vol. 54, pp. 71-103). (EPiC Series in Computing). EasyChair. https://doi.org/10.29007/7ks7