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

Documents

Links

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
EditorsMarsha Chechik, Jean-François Raskin
Pages367-384
Number of pages18
ISBN (Electronic)978-3-662-49674-9
DOIs
Publication statusE-pub ahead of print - 9 Apr 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9636
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140420