The following pages link to Bounded Synthesis for Petri Games (Q3449635):
Displayed 11 items.
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- The synthesis problem for repeatedly communicating Petri games (Q2165240) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata (Q3303906) (← links)
- (Q3384880) (← links)
- (Q5136320) (← links)
- (Q5875388) (← links)
- High-level representation of benchmark families for Petri games (Q6045029) (← links)
- Tableaux for realizability of safety specifications (Q6174549) (← links)