Nico Wallmeier

According to our database, Nico Wallmeier authored at least 5 papers between 2003 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Optimal strategy synthesis for request-response games.

Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann

RAIRO Theor. Informatics Appl., 2015

2008

Optimal Strategy Synthesis in Request-Response Games.

Florian Horn, Wolfgang Thomas, Nico Wallmeier

Proceedings of the Automated Technology for Verification and Analysis, 2008

2006

Observations on determinization of Büchi automata.

Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier

Theor. Comput. Sci., 2006

2005

Strategien in unendlichen Spielen mit Liveness-Gewinnbedingungen: Syntheseverfahren, Optimierung und Implementierung.

Nico Wallmeier

PhD thesis, 2005

2003

Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications.

Nico Wallmeier, Patrick Hütten, Wolfgang Thomas

Proceedings of the Implementation and Application of Automata, 2003