PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

Milan Ceska; Petr Pilar; Nicola Paoletti; Lubos Brim; Marta Kwiatkowska

doi:10.1007/978-3-662-49674-9_21

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

Milan Ceska
, Petr Pilar
, Nicola Paoletti
, Lubos Brim
, Marta Kwiatkowska

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

47 Downloads (Pure)

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Editors	Marsha Chechik, Jean-François Raskin
Pages	367-384
Number of pages	18
ISBN (Electronic)	978-3-662-49674-9
DOIs	https://doi.org/10.1007/978-3-662-49674-9_21
Publication status	E-pub ahead of print - 9 Apr 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9636

Access to Document

10.1007/978-3-662-49674-9_21

Accepted ManuscriptAccepted author manuscript, 1.27 MB

https://link.springer.com/chapter/10.1007/978-3-662-49674-9_21

Cite this

Ceska, M., Pilar, P., Paoletti, N., Brim, L., & Kwiatkowska, M. (2016). PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In M. Chechik, & J.-F. Raskin (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 367-384). (Lecture Notes in Computer Science; Vol. 9636). Advance online publication. https://doi.org/10.1007/978-3-662-49674-9_21

@inproceedings{aac4139fc95d41389d6e89bd511a8920,

title = "PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems",

author = "Milan Ceska and Petr Pilar and Nicola Paoletti and Lubos Brim and Marta Kwiatkowska",

year = "2016",

month = apr,

day = "9",

doi = "10.1007/978-3-662-49674-9\_21",

language = "English",

isbn = "978-3-662-49673-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "367--384",

editor = "Chechik, \{Marsha \} and Raskin, \{Jean-Fran{\c c}ois \}",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

}

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. / Ceska, Milan; Pilar, Petr; Paoletti, Nicola et al.
Tools and Algorithms for the Construction and Analysis of Systems. ed. / Marsha Chechik; Jean-François Raskin. 2016. p. 367-384 (Lecture Notes in Computer Science; Vol. 9636).

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

TY - GEN

T1 - PRISM-PSY

T2 - Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

AU - Ceska, Milan

AU - Pilar, Petr

AU - Paoletti, Nicola

AU - Brim, Lubos

AU - Kwiatkowska, Marta

PY - 2016/4/9

Y1 - 2016/4/9

U2 - 10.1007/978-3-662-49674-9_21

DO - 10.1007/978-3-662-49674-9_21

M3 - Conference contribution

SN - 978-3-662-49673-2

T3 - Lecture Notes in Computer Science

SP - 367

EP - 384

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Chechik, Marsha

A2 - Raskin, Jean-François

ER -