Pages that link to "Item:Q5898976"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898976):
Displayed 11 items.
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Computing Weakest Strategies for Safety Games of Imperfect Information (Q3617754) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5918382) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501) (← links)