Pages that link to "Item:Q3165957"
From MaRDI portal
The following pages link to Abstraction Refinement for Games with Incomplete Information. (Q3165957):
Displayed 4 items.
- Lazy Synthesis (Q2891413) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
- BOCoSy: Small but Powerful Symbolic Output-Feedback Control (Q6120724) (← links)