The following pages link to (Q4536596):
Displaying 18 items.
- A multi-alternative approach to control in open systems: origins, current state, and future prospects (Q276780) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- Harmonization of interacting automata (Q904417) (← links)
- Pushdown module checking (Q968362) (← links)
- A decidable class of problems for control under partial observation (Q1041809) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Iterated Boolean games (Q2346405) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- Complexity results on branching-time pushdown model checking (Q2373715) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- A Compositional Framework for Controller Synthesis (Q3090853) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- On proving that an unsafe controller is not proven safe (Q6151623) (← links)
