QUASY
From MaRDI portal
Cited in
(12)- GAVS
- JTLV
- GIST
- RATSY
- Quantitative vs. weighted automata
- QUASY: quantitative synthesis tool
- Quantitative verification and strategy synthesis for stochastic games
- Controllers with minimal observation power (application to timed systems)
- PRISM-games: a model checker for stochastic multi-player games
- Measuring and synthesizing systems in probabilistic environments
- MultiGain
- Unbeast
This page was built for software: QUASY
