Pages that link to "Item:Q2982621"
From MaRDI portal
The following pages link to Formal Verification and Synthesis for Discrete-Time Stochastic Systems (Q2982621):
Displaying 4 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
