QUASY
From MaRDI portal
Software:21753
No author found.
Related Items (6)
Quantitative verification and strategy synthesis for stochastic games ⋮ PRISM-games: A Model Checker for Stochastic Multi-Player Games ⋮ Quantitative vs. weighted automata ⋮ QUASY: Quantitative Synthesis Tool ⋮ Controllers with Minimal Observation Power (Application to Timed Systems) ⋮ Measuring and Synthesizing Systems in Probabilistic Environments
This page was built for software: QUASY
