swMATH9774MaRDI QIDQ21753FDOQ21753
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-19835-9_24
Cited In (12)
- Unbeast
- Controllers with minimal observation power (application to timed systems)
- Measuring and synthesizing systems in probabilistic environments
- Quantitative verification and strategy synthesis for stochastic games
- GAVS
- JTLV
- GIST
- RATSY
- MultiGain
- QUASY: quantitative synthesis tool
- Quantitative vs. weighted automata
- PRISM-games: a model checker for stochastic multi-player games
This page was built for software: QUASY
