ARCH-COMP19 Category Report: Stochastic Modelling

Alessandro Abate; Henk Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; Sadegh Soudjani; Birgit van Huijgevoort; Abraham P. Vinod

ARCH-COMP19 Category Report: Stochastic Modelling

Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

School of Electronics, Electrical Engineering and Computer Science

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

11 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.
Pages	62-102
Number of pages	41
Publication status	Published - 2019

Access to Document

http://www.easychair.org/publications/paper/S95M

Cite this

Abate, A., Blom, H., Cauchi, N., Degiorgio, K., Fränzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M., Pilch, C., Remke, A., Salamati, M., Soudjani, S., Huijgevoort, B. V., & Vinod, A. P. (2019). ARCH-COMP19 Category Report: Stochastic Modelling. In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. (pp. 62-102) http://www.easychair.org/publications/paper/S95M

@inproceedings{e3894fb4e7e142529da8ebfca0283ec1,

title = "ARCH-COMP19 Category Report: Stochastic Modelling",

author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Kurt Degiorgio and Martin Fr{\"a}nzle and Hahn, {Ernst Moritz} and Sofie Haesaert and Hao Ma and Meeko Oishi and Carina Pilch and Anne Remke and Mahmoud Salamati and Sadegh Soudjani and Huijgevoort, {Birgit van} and Vinod, {Abraham P.}",

year = "2019",

language = "Undefined/Unknown",

pages = "62--102",

booktitle = "ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.",

}

Abate, A, Blom, H, Cauchi, N, Degiorgio, K, Fränzle, M, Hahn, EM, Haesaert, S, Ma, H, Oishi, M, Pilch, C, Remke, A, Salamati, M, Soudjani, S, Huijgevoort, BV & Vinod, AP 2019, ARCH-COMP19 Category Report: Stochastic Modelling. in ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.. pp. 62-102. <http://www.easychair.org/publications/paper/S95M>

ARCH-COMP19 Category Report: Stochastic Modelling. / Abate, Alessandro; Blom, Henk; Cauchi, Nathalie et al.
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.. 2019. p. 62-102.

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

TY - GEN

T1 - ARCH-COMP19 Category Report: Stochastic Modelling

AU - Abate, Alessandro

AU - Blom, Henk

AU - Cauchi, Nathalie

AU - Degiorgio, Kurt

AU - Fränzle, Martin

AU - Hahn, Ernst Moritz

AU - Haesaert, Sofie

AU - Ma, Hao

AU - Oishi, Meeko

AU - Pilch, Carina

AU - Remke, Anne

AU - Salamati, Mahmoud

AU - Soudjani, Sadegh

AU - Huijgevoort, Birgit van

AU - Vinod, Abraham P.

PY - 2019

Y1 - 2019

M3 - Conference contribution

SP - 62

EP - 102

BT - ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.

ER -