ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate; H.A.P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie  Haesaert; Arnd Hartmanns; H. Ma; null More Authors

ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate, H.A.P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, H. Ma, More Authors

Air Transport & Operations

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

37 Downloads (Pure)

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 2021.

Original language	English
Title of host publication	8th International Workshop on Applied Verication of Continuous and Hybrid Systems
Editors	Goran Frehse , Matthias Althoff
Pages	55-89
Number of pages	35
Publication status	Published - 2021
Event	8th International Workshop on Applied Verification of Continuous and Hybrid Systems - brussel, Belgium Duration: 9 Jul 2021 → 9 Jul 2021

Publication series

Name	EPiC Series in Computing
Volume	80

Conference

Conference	8th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated title	ARCH21
Country/Territory	Belgium
City	brussel
Period	9/07/21 → 9/07/21

Access to Document

ARCH-COMP21_Category_Report_Stochastic_ModelsFinal published version, 726 KB

Cite this

@inproceedings{49ad0d23297847868d445e3b55d8b985,

title = "ARCH-COMP21 Category Report: Stochastic Models",

abstract = "This report presents the results of a friendly competition for formal verification andpolicy 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 2021.",

author = "Alessandro Abate and H.A.P. Blom and Marc Bouissou and Nathalie Cauchi and Hassane Chraibi and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and H. Ma and {More Authors}",

year = "2021",

language = "English",

series = "EPiC Series in Computing",

pages = "55--89",

editor = "{Frehse }, {Goran } and Althoff, {Matthias }",

booktitle = "8th International Workshop on Applied Verication of Continuous and Hybrid Systems",

note = "8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH21 ; Conference date: 09-07-2021 Through 09-07-2021",

}

Abate, A, Blom, HAP, Bouissou, M, Cauchi, N, Chraibi, H, Delicaris, J, Haesaert, S, Hartmanns, A, Ma, H & More Authors 2021, ARCH-COMP21 Category Report: Stochastic Models. in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verication of Continuous and Hybrid Systems. EPiC Series in Computing, vol. 80, pp. 55-89, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, brussel, Belgium, 9/07/21.

ARCH-COMP21 Category Report: Stochastic Models. / Abate, Alessandro; Blom, H.A.P.; Bouissou, Marc et al.
8th International Workshop on Applied Verication of Continuous and Hybrid Systems. ed. / Goran Frehse ; Matthias Althoff. 2021. p. 55-89 (EPiC Series in Computing; Vol. 80).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - ARCH-COMP21 Category Report: Stochastic Models

AU - Abate, Alessandro

AU - Blom, H.A.P.

AU - Bouissou, Marc

AU - Cauchi, Nathalie

AU - Chraibi, Hassane

AU - Delicaris, Joanna

AU - Haesaert, Sofie

AU - Hartmanns, Arnd

AU - Ma, H.

AU - More Authors, null

PY - 2021

Y1 - 2021

N2 - This report presents the results of a friendly competition for formal verification andpolicy 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 2021.

AB - This report presents the results of a friendly competition for formal verification andpolicy 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 2021.

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 55

EP - 89

BT - 8th International Workshop on Applied Verication of Continuous and Hybrid Systems

A2 - Frehse , Goran

A2 - Althoff, Matthias

T2 - 8th International Workshop on Applied Verification of Continuous and Hybrid Systems

Y2 - 9 July 2021 through 9 July 2021

ER -

ARCH-COMP21 Category Report: Stochastic Models

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this