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

doi:10.29007/7ks7

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 proceeding › Conference contribution › Academic

84 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018)
Editors	Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson
Publisher	EasyChair
Pages	71-103
Number of pages	33
Volume	54
DOIs	https://doi.org/10.29007/7ks7
Publication status	Published - 2018
Event	5th International Workshop on Applied Verification of Continuous and Hybrid Systems - Oxford, United Kingdom Duration: 13 Jul 2018 → 13 Jul 2018 Conference number: 5

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair

Workshop

Workshop	5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated title	ARCH 2018
Country/Territory	United Kingdom
City	Oxford
Period	13/07/18 → 13/07/18

Access to Document

10.29007/7ks7

ARCH-COMP18_Category_Report_Stochastic_ModellingFinal published version, 5.48 MB

Cite this

Abate, A., Blom, H., Cauchi, N., Haesaert, S., Hartmanns, A., Lesser, K., Oishi, M., Sivaramakrishnan, V., Soudjani, S., Vasile, C. I., & 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 et al. / 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",

note = "5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2018 ; Conference date: 13-07-2018 Through 13-07-2018",

}

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 et al.

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 proceeding › Conference contribution › Academic

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.

N1 - Conference code: 5

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

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

Y2 - 13 July 2018 through 13 July 2018

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). doi: 10.29007/7ks7