ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate; Henk Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; Mathis Niehage; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; Adam Thorpe; Vlad Turcuman; Paolo Zuliani

doi:10.29007/dprv

ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

8 Citations (Scopus)

94 Downloads (Pure)

Original language	English
Title of host publication	8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021
Editors	Goran Frehse, Matthias Althoff
Publisher	EasyChair
Pages	55-89
Number of pages	35
DOIs	https://doi.org/10.29007/dprv
Publication status	Published - 6 Dec 2021
Event	8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 - Virtual Event Duration: 6 Dec 2021 → 6 Dec 2021 Conference number: 8

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair
Volume	80
ISSN (Electronic)	2398-7340

Conference

Conference	8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021
Abbreviated title	ARCH 2021
City	Virtual Event
Period	6/12/21 → 6/12/21

Access to Document

10.29007/dprv

ArticleFinal published version, 711 KB

Cite this

Abate, A., Blom, H., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Khaled, M., Lavaei, A., Ma, H., Mallik, K., Niehage, M., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Thorpe, A., Turcuman, V., & Zuliani, P. (2021). ARCH-COMP21 Category Report: Stochastic Models. In G. Frehse, & M. Althoff (Eds.), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021 (pp. 55-89). (EPiC Series in Computing; Vol. 80). EasyChair. https://doi.org/10.29007/dprv

@inproceedings{b58dac794d7e4881ba00d7bfd71babf9,

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

author = "Alessandro Abate and Henk Blom and Marc Bouissou and Nathalie Cauchi and Hassane Chraibi and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and Mahmoud Khaled and Abolfazl Lavaei and Hao Ma and Kaushik Mallik and Mathis Niehage and Anne Remke and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Adam Thorpe and Vlad Turcuman and Paolo Zuliani",

year = "2021",

month = dec,

day = "6",

doi = "10.29007/dprv",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "55--89",

editor = "Goran Frehse and Matthias Althoff",

booktitle = "8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021",

address = "United Kingdom",

note = "8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021, ARCH 2021 ; Conference date: 06-12-2021 Through 06-12-2021",

}

Abate, A, Blom, H, Bouissou, M, Cauchi, N, Chraibi, H, Delicaris, J, Haesaert, S, Hartmanns, A, Khaled, M, Lavaei, A, Ma, H, Mallik, K, Niehage, M, Remke, A, Schupp, S, Shmarov, F, Soudjani, S, Thorpe, A, Turcuman, V & Zuliani, P 2021, ARCH-COMP21 Category Report: Stochastic Models. in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. EPiC Series in Computing, vol. 80, EasyChair, pp. 55-89, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021, Virtual Event, 6/12/21. https://doi.org/10.29007/dprv

ARCH-COMP21 Category Report: Stochastic Models. / Abate, Alessandro; Blom, Henk; Bouissou, Marc et al.
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. ed. / Goran Frehse; Matthias Althoff. EasyChair, 2021. p. 55-89 (EPiC Series in Computing; Vol. 80).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - ARCH-COMP21 Category Report: Stochastic Models

AU - Abate, Alessandro

AU - Blom, Henk

AU - Bouissou, Marc

AU - Cauchi, Nathalie

AU - Chraibi, Hassane

AU - Delicaris, Joanna

AU - Haesaert, Sofie

AU - Hartmanns, Arnd

AU - Khaled, Mahmoud

AU - Lavaei, Abolfazl

AU - Ma, Hao

AU - Mallik, Kaushik

AU - Niehage, Mathis

AU - Remke, Anne

AU - Schupp, Stefan

AU - Shmarov, Fedor

AU - Soudjani, Sadegh

AU - Thorpe, Adam

AU - Turcuman, Vlad

AU - Zuliani, Paolo

N1 - Conference code: 8

PY - 2021/12/6

Y1 - 2021/12/6

U2 - 10.29007/dprv

DO - 10.29007/dprv

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 55

EP - 89

BT - 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021

A2 - Frehse, Goran

A2 - Althoff, Matthias

PB - EasyChair

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

Y2 - 6 December 2021 through 6 December 2021

ER -