ARCH-COMP20 Category Report: Stochastic Models

Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

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

Original languageUndefined
Title of host publicationARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020
PublisherEasyChair
Pages76-106
Number of pages31
Volume74
DOIs
Publication statusPublished - 2020
Event7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 - Virtual Event
Duration: 12 Jul 202012 Jul 2020
Conference number: 7

Publication series

NameEPiC Series in Computing
PublisherEasyChair

Workshop

Workshop7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020
Abbreviated titleARCH 2020
CityVirtual Event
Period12/07/2012/07/20

Cite this