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 10 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)
- Probabilistic guarantees for safe deep reinforcement learning (Q1996032) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← 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)
