Michael Luttenberger

Publications

Export list as BibTeX file

  • 2011GAVS+: An Open Platform for the Research of Algorithmic Game SolvingChih-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, DetailsURLDOIBIB
  • 2010GAVS: Game Arena Visualization and SynthesisChih-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, DetailsURLDOIBIB