Pages that link to "Item:Q2445907"
From MaRDI portal
The following pages link to Distributed synthesis is simply undecidable (Q2445907):
Displaying 9 items.
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Decidability of well-connectedness for distributed synthesis (Q1941703) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge (Q2849954) (← links)
- Consensus Game Acceptors (Q3451093) (← links)
- (Q5015281) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)
- On the (High) Undecidability of Distributed Synthesis Problems (Q5448782) (← links)
- Stochastic games with synchronizing objectives (Q6649478) (← links)