The following pages link to Synthesis of Asynchronous Systems (Q3591079):
Displaying 15 items.
- Solving parity games in big steps (Q340584) (← links)
- Symbolic bounded synthesis (Q453535) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications (Q2891421) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- Symmetric Strategy Improvement (Q3449491) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- (Q5015281) (← links)
- Solving Parity Games in Big Steps (Q5458856) (← links)
