The following pages link to Antonio Di Stasio (Q1616969):
Displayed 4 items.
- Solving parity games: explicit vs symbolic (Q1616970) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Finite-trace and generalized-reactivity specifications in temporal synthesis (Q6151754) (← links)