The following pages link to (Q4952307):
Displayed 7 items.
- Strategy logic (Q979080) (← links)
- A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)