Pages that link to "Item:Q5146376"
From MaRDI portal
The following pages link to Symbolic controller synthesis for Büchi specifications on stochastic systems (Q5146376):
Displayed 7 items.
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← 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)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- SySCoRe: Synthesis via Stochastic Coupling Relations (Q6202092) (← links)
- Poster Abstract: A Toolchain for Accelerated Symbolic Control (Q6202122) (← links)