The following pages link to AMYTISS (Q52638):
Displaying 3 items.
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)