Nico Wallmeier

Publications (4)0 Total impact

• Conference Proceeding: Optimal Strategy Synthesis in Request-Response Games.

  Florian Horn, Wolfgang Thomas, Nico Wallmeier
  Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings; 01/2008
• Source

  Available from: psu.edu

  Article: Observations on determinization of Büchi automata.

  Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
  Theor. Comput. Sci. 01/2006; 363:224-233.
• Conference Proceeding: Observations on Determinization of Büchi Automata.

  Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
  Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers; 01/2005
• Source

  Available from: citeseerx.ist.psu.edu

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

  Nico Wallmeier, Patrick Hütten, Wolfgang Thomas
  Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings; 01/2003