Pages that link to "Item:Q2061250"
From MaRDI portal
The following pages link to Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250):
Displaying 3 items.
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems (Q2074755) (← 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)