The following pages link to (Q4535033):
Displaying 24 items.
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Reasoning about layered message passing systems (Q1886450) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Distributed synthesis for regular and contextfree specifications (Q2249664) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← links)
- Infinite-state high-level MSCs: model-checking and realizability (Q2495403) (← links)
- Distributed Synthesis in Continuous Time (Q2811352) (← links)
- Distributed synthesis for acyclic architectures (Q2978553) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Bounded Synthesis for Petri Games (Q3449635) (← links)
- Bounded Synthesis (Q3510817) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- (Q5015281) (← links)
- Automated Synthesis: a Distributed Viewpoint (Q5136292) (← links)
- (Q5184735) (← links)
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis (Q5448644) (← links)
