Pages that link to "Item:Q2226754"
From MaRDI portal
The following pages link to \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems (Q2226754):
Displaying 7 items.
- AMYTISS (Q52638) (← links)
- 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)
- Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
- A learner-verifier framework for neural network controllers and certificates of stochastic systems (Q6535337) (← links)
