The following pages link to (Q4536385):
Displaying 11 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Games for synthesis of controllers with partial observation. (Q1401346) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Distributed Synthesis for Alternating-Time Logics (Q3510801) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- (Q5136318) (← links)
- Specifiable robustness in reactive synthesis (Q6102166) (← links)