Pages that link to "Item:Q2097770"
From MaRDI portal
The following pages link to Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770):
Displaying 4 items.
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
