Pages that link to "Item:Q3190116"
From MaRDI portal
The following pages link to Compositional Controller Synthesis for Stochastic Games (Q3190116):
Displaying 4 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
