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