QUASY
From MaRDI portal
Software:21753
swMATH9774MaRDI QIDQ21753FDOQ21753
Author name not available (Why is that?)
Cited In (6)
- QUASY: Quantitative Synthesis Tool
- Measuring and Synthesizing Systems in Probabilistic Environments
- Quantitative verification and strategy synthesis for stochastic games
- PRISM-games: A Model Checker for Stochastic Multi-Player Games
- Quantitative vs. weighted automata
- Controllers with Minimal Observation Power (Application to Timed Systems)
This page was built for software: QUASY
