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

27 Downloads (Pure)
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

Cite this