QUASY
From MaRDI portal
Software:21753
swMATH9774MaRDI QIDQ21753FDOQ21753
Author name not available (Why is that?)
Cited In (6)
- Controllers with minimal observation power (application to timed systems)
- Measuring and synthesizing systems in probabilistic environments
- Quantitative verification and strategy synthesis for stochastic games
- 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
