Pages that link to "Item:Q5448782"
From MaRDI portal
The following pages link to On the (High) Undecidability of Distributed Synthesis Problems (Q5448782):
Displaying 10 items.
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Decidability of well-connectedness for distributed synthesis (Q1941703) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge (Q2849954) (← links)
- Consensus Game Acceptors (Q3451093) (← links)
- Consensus Game Acceptors and Iterated Transductions (Q4640036) (← links)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191530) (← links)
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis (Q5448644) (← links)