ARCH-COMP18 Category Report: Stochastic Modelling

Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

38 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018)
EditorsGoran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson
PublisherEasyChair
Pages71-103
Number of pages33
Volume54
DOIs
Publication statusPublished - 2018
Event5th International Workshop on Applied Verification of Continuous and Hybrid Systems - Oxford, United Kingdom
Duration: 13 Jul 201813 Jul 2018
Conference number: 5

Publication series

NameEPiC Series in Computing
PublisherEasyChair

Workshop

Workshop5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated titleARCH 2018
CountryUnited Kingdom
CityOxford
Period13/07/1813/07/18

Cite this

Abate, A., Blom, H., Cauchi, N., Haesaert, S., Hartmanns, A., Lesser, K., ... Vinod, A. P. (2018). ARCH-COMP18 Category Report: Stochastic Modelling. In G. Frehse, M. Althoff, S. Bogomolov, & T. T. Johnson (Eds.), Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018) (Vol. 54, pp. 71-103). (EPiC Series in Computing). EasyChair. https://doi.org/10.29007/7ks7
Abate, Alessandro ; Blom, Henk ; Cauchi, Nathalie ; Haesaert, Sofie ; Hartmanns, Arnd ; Lesser, Kendra ; Oishi, Meeko ; Sivaramakrishnan, Vignesh ; Soudjani, Sadegh ; Vasile, Cristian Ioan ; Vinod, Abraham P. / ARCH-COMP18 Category Report: Stochastic Modelling. Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018). editor / Goran Frehse ; Matthias Althoff ; Sergiy Bogomolov ; Taylor T. Johnson. Vol. 54 EasyChair, 2018. pp. 71-103 (EPiC Series in Computing).
@inproceedings{8ba81db8709e4aaf82446df8472479a8,
title = "ARCH-COMP18 Category Report: Stochastic Modelling",
author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Sofie Haesaert and Arnd Hartmanns and Kendra Lesser and Meeko Oishi and Vignesh Sivaramakrishnan and Sadegh Soudjani and Vasile, {Cristian Ioan} and Vinod, {Abraham P.}",
year = "2018",
doi = "10.29007/7ks7",
language = "English",
volume = "54",
series = "EPiC Series in Computing",
publisher = "EasyChair",
pages = "71--103",
editor = "Goran Frehse and Matthias Althoff and Sergiy Bogomolov and Johnson, {Taylor T.}",
booktitle = "Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018)",
address = "United Kingdom",

}

Abate, A, Blom, H, Cauchi, N, Haesaert, S, Hartmanns, A, Lesser, K, Oishi, M, Sivaramakrishnan, V, Soudjani, S, Vasile, CI & Vinod, AP 2018, ARCH-COMP18 Category Report: Stochastic Modelling. in G Frehse, M Althoff, S Bogomolov & TT Johnson (eds), Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018). vol. 54, EPiC Series in Computing, EasyChair, pp. 71-103, 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, Oxford, United Kingdom, 13/07/18. https://doi.org/10.29007/7ks7

ARCH-COMP18 Category Report: Stochastic Modelling. / Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Haesaert, Sofie; Hartmanns, Arnd; Lesser, Kendra; Oishi, Meeko; Sivaramakrishnan, Vignesh; Soudjani, Sadegh; Vasile, Cristian Ioan; Vinod, Abraham P.

Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018). ed. / Goran Frehse; Matthias Althoff; Sergiy Bogomolov; Taylor T. Johnson. Vol. 54 EasyChair, 2018. p. 71-103 (EPiC Series in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - ARCH-COMP18 Category Report: Stochastic Modelling

AU - Abate, Alessandro

AU - Blom, Henk

AU - Cauchi, Nathalie

AU - Haesaert, Sofie

AU - Hartmanns, Arnd

AU - Lesser, Kendra

AU - Oishi, Meeko

AU - Sivaramakrishnan, Vignesh

AU - Soudjani, Sadegh

AU - Vasile, Cristian Ioan

AU - Vinod, Abraham P.

PY - 2018

Y1 - 2018

U2 - 10.29007/7ks7

DO - 10.29007/7ks7

M3 - Conference contribution

VL - 54

T3 - EPiC Series in Computing

SP - 71

EP - 103

BT - Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018)

A2 - Frehse, Goran

A2 - Althoff, Matthias

A2 - Bogomolov, Sergiy

A2 - Johnson, Taylor T.

PB - EasyChair

ER -

Abate A, Blom H, Cauchi N, Haesaert S, Hartmanns A, Lesser K et al. ARCH-COMP18 Category Report: Stochastic Modelling. In Frehse G, Althoff M, Bogomolov S, Johnson TT, editors, Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018). Vol. 54. EasyChair. 2018. p. 71-103. (EPiC Series in Computing). https://doi.org/10.29007/7ks7