PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
No abstract available.
Related papers
- Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems CAV 2017
- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs CAV 2021
- Bridging boolean and quantitative synthesis using smoothed proof search POPL 2014
- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants TACAS 2023
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Continualization of Probabilistic Programs With Correction ESOP 2020
- Accelerating search-based program synthesis using learned probabilistic models PLDI 2018
- Gist: A Solver for Probabilistic Games CAV 2010