The following pages link to Parameterized Synthesis (Q5404478):
Displaying 9 items.
- Synthesis problems for one-counter automata (Q1675152) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Compositional parameter synthesis (Q2281626) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Synthesis of distributed algorithms with parameterized threshold guards (Q3300835) (← links)
- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (Q5091107) (← links)
- Synthesis of distributed agreement-based systems with efficiently-decidable verification (Q6536135) (← links)
- Round- and context-bounded control of dynamic pushdown systems (Q6564172) (← links)