PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
No abstract available.
Related papers
- PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games TACAS 2016
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- Accelerating distributed stochastic gradient descent with adaptive periodic parameter averaging: poster PPoPP 2019
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Correlated Equilibria and Fairness in Concurrent Stochastic Games TACAS 2022
- PRISM-games: A Model Checker for Stochastic Multi-Player Games TACAS 2013
- PRISM: An Efficient GPU-Based Lossy Compression Framework for Progressive Data Retrieval with Multi-Level Interpolation PPoPP 2026