The following pages link to Nico Wallmeier (Q860866):
Displayed 4 items.
- Observations on determinization of Büchi automata (Q860867) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications (Q3559788) (← links)
- Implementation and Application of Automata (Q5897682) (← links)