Pages that link to "Item:Q2249664"
From MaRDI portal
The following pages link to Distributed synthesis for regular and contextfree specifications (Q2249664):
Displaying 6 items.
- Realizability of concurrent recursive programs (Q1620953) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge (Q2849954) (← links)
- Distributed synthesis for acyclic architectures (Q2978553) (← links)
- (Q5015281) (← links)
- On the (High) Undecidability of Distributed Synthesis Problems (Q5448782) (← links)