PRISM-PSY : Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. / Ceska, Milan; Pilar, Petr; Paoletti, Nicola; Brim, Lubos; Kwiatkowska, Marta.

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 proceedingConference contribution

E-pub ahead of print

Standard

PRISM-PSY : Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. / Ceska, Milan; Pilar, Petr; Paoletti, Nicola; Brim, Lubos; Kwiatkowska, Marta.

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 proceedingConference contribution

Harvard

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. Lecture Notes in Computer Science, vol. 9636, pp. 367-384. https://doi.org/10.1007/978-3-662-49674-9_21

APA

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). https://doi.org/10.1007/978-3-662-49674-9_21

Vancouver

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

Author

Ceska, Milan ; Pilar, Petr ; Paoletti, Nicola ; Brim, Lubos ; Kwiatkowska, Marta. / PRISM-PSY : Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. Tools and Algorithms for the Construction and Analysis of Systems. editor / Marsha Chechik ; Jean-François Raskin. 2016. pp. 367-384 (Lecture Notes in Computer Science).

BibTeX

@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",

}

RIS

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 -