The following pages link to Lazy Synthesis (Q2891413):
Displayed 6 items.
- Synchronous counting and computational algorithm design (Q896024) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (Q5091107) (← links)
- Tableaux for realizability of safety specifications (Q6174549) (← links)