Michael Luttenberger

Publications

Export list as BibTeX file

  • 2011 GAVS+: An Open Platform for the Research of Algorithmic Game Solving Chih-Hong Cheng , Alois Knoll , Michael Luttenberger and Christian Buckl In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, , pages 258–261, 2011. Details URL DOI BIB
  • 2010 GAVS: Game Arena Visualization and Synthesis Chih-Hong Cheng , Christian Buckl , Michael Luttenberger and Alois Knoll In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pages 347–352, 2010. Details URL DOI BIB