Pages that link to "Item:Q3000655"
From MaRDI portal
The following pages link to QUASY: Quantitative Synthesis Tool (Q3000655):
Displaying 4 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- Synthesis of compact strategies for coordination programs (Q6535559) (← links)
