ARCH-COMP20 Category Report: Stochastic Models

EPiC series in computing, vol. 74, pp. 76–44

Abstract

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s edition of the competition. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Spring/Summer 2020.

Authors 16

1. Alessandro Abate

   University of Oxford

   Affiliation as printed

   University of Oxford , Oxford , UK

   University of Oxford, Oxford, UK

2. H.A.P. Blom

   Delft University of Technology

   Affiliation as printed

   Delft University of Technology , Delft , The Netherlands

   Delft University of Technology, Delft, The Netherlands

3. Nathalie Cauchi

   University of Oxford

   Affiliation as printed

   University of Oxford , Oxford , UK

   University of Oxford, Oxford, UK

4. Joanna Delicaris

   University of Münster

   Affiliation as printed

   University of Münster , Germany

   University of Münster, Germany

5. Arnd Hartmanns

   University of Twente

   Affiliation as printed

   University of Twente , Enschede , The Netherlands

   University of Twente, Enschede, The Netherlands

6. Mahmoud Khaled

   Technical University of Munich

   Affiliation as printed

   Technical University of Munich , Germany

   Technical University of Munich, Germany

7. Abolfazl Lavaei

   Ludwig-Maximilians-Universität München

   Affiliation as printed

   LMU Munich , Germany

   LMU Munich, Germany

8. Carina Pilch

   University of Münster

   Affiliation as printed

   University of Münster , Germany

   University of Münster, Germany

9. Anne Remke

   University of Münster

   Affiliation as printed

   University of Münster , Germany

   University of Münster, Germany

10. Stefan Schupp Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University , Aachen , Germany

    RWTH Aachen University, Aachen, Germany

11. Fedor Shmarov

    Newcastle University

    Affiliation as printed

    Newcastle University , Newcastle upon Tyne , UK

    Newcastle University, Newcastle upon Tyne, UK

12. Sadegh Soudjani

    Newcastle University

    Affiliation as printed

    Newcastle University , Newcastle upon Tyne , UK

    Newcastle University, Newcastle upon Tyne, UK

13. Abraham P. Vinod

    The University of Texas at Austin

    Affiliation as printed

    The University of Texas at Austin , USA

    The University of Texas at Austin, USA

14. Ben Wooding

    Newcastle University

    Affiliation as printed

    Newcastle University , Newcastle upon Tyne , UK

    Newcastle University, Newcastle upon Tyne, UK

15. Majid Zamani

    University of Colorado Boulder

    Affiliation as printed

    University of Colorado Boulder , USA

    University of Colorado Boulder, USA

16. Paolo Zuliani

    Newcastle University

    Affiliation as printed

    Newcastle University , Newcastle upon Tyne , UK

    Newcastle University, Newcastle upon Tyne, UK