Pages that link to "Item:Q2978553"
From MaRDI portal
The following pages link to Distributed synthesis for acyclic architectures (Q2978553):
Displaying 18 items.
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Decidability of well-connectedness for distributed synthesis (Q1941703) (← links)
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Distributed synthesis for regular and contextfree specifications (Q2249664) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)
- Automated Synthesis: a Distributed Viewpoint (Q5136292) (← links)
- (Q5136320) (← links)
- (Q5136322) (← links)
- (Q5875388) (← links)
- High-level representation of benchmark families for Petri games (Q6045029) (← links)