The following pages link to QUASY (Q21753):
Displayed 6 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- QUASY: Quantitative Synthesis Tool (Q3000655) (← links)
- Controllers with Minimal Observation Power (Application to Timed Systems) (Q4649298) (← links)
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (Q5326324) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)