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

doi:10.29007/mqzc

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

119 Downloads (Pure)

Original language	Undefined
Title of host publication	ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020
Publisher	EasyChair
Pages	76-106
Number of pages	31
Volume	74
DOIs	https://doi.org/10.29007/mqzc
Publication status	Published - 2020
Event	7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 - Virtual Event Duration: 12 Jul 2020 → 12 Jul 2020 Conference number: 7

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair

Workshop

Workshop	7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020
Abbreviated title	ARCH 2020
City	Virtual Event
Period	12/07/20 → 12/07/20

Access to Document

10.29007/mqzc

Abate-Arch-comp-category-report-stochastiFinal published version, 808 KB

Cite this

Abate, A., Blom, H., Cauchi, N., Delicaris, J., Hartmanns, A., Khaled, M., Lavaei, A., Pilch, C., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Vinod, A. P., Wooding, B., Zamani, M., & Zuliani, P. (2020). ARCH-COMP20 Category Report: Stochastic Models. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020 (Vol. 74, pp. 76-106). (EPiC Series in Computing). EasyChair. https://doi.org/10.29007/mqzc

@inproceedings{704e059e5e364ed084c6760f52342c89,

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

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

year = "2020",

doi = "10.29007/mqzc",

language = "Undefined",

volume = "74",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "76--106",

booktitle = "ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020",

address = "United Kingdom",

note = "7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 ; Conference date: 12-07-2020 Through 12-07-2020",

}

Abate, A, Blom, H, Cauchi, N, Delicaris, J, Hartmanns, A, Khaled, M, Lavaei, A, Pilch, C, Remke, A, Schupp, S, Shmarov, F, Soudjani, S, Vinod, AP, Wooding, B, Zamani, M & Zuliani, P 2020, ARCH-COMP20 Category Report: Stochastic Models. in ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. vol. 74, EPiC Series in Computing, EasyChair, pp. 76-106, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020, Virtual Event, 12/07/20. https://doi.org/10.29007/mqzc

ARCH-COMP20 Category Report: Stochastic Models. / Abate, Alessandro; Blom, Henk; Cauchi, Nathalie et al.
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Vol. 74 EasyChair, 2020. p. 76-106 (EPiC Series in Computing).

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

TY - GEN

T1 - ARCH-COMP20 Category Report: Stochastic Models

AU - Abate, Alessandro

AU - Blom, Henk

AU - Cauchi, Nathalie

AU - Delicaris, Joanna

AU - Hartmanns, Arnd

AU - Khaled, Mahmoud

AU - Lavaei, Abolfazl

AU - Pilch, Carina

AU - Remke, Anne

AU - Schupp, Stefan

AU - Shmarov, Fedor

AU - Soudjani, Sadegh

AU - Vinod, Abraham P.

AU - Wooding, Ben

AU - Zamani, Majid

AU - Zuliani, Paolo

N1 - Conference code: 7

PY - 2020

Y1 - 2020

U2 - 10.29007/mqzc

DO - 10.29007/mqzc

M3 - Conference contribution

VL - 74

T3 - EPiC Series in Computing

SP - 76

EP - 106

BT - ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020

PB - EasyChair

T2 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020

Y2 - 12 July 2020 through 12 July 2020

ER -