Publications

In the following, we list relevant scientific publications related to MGSyn. For more information, please do not hesitate to contact us.

  • Key publication: Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. MGSyn: Automatic synthesis for industrial automation. In Proceedings of the International Conference on Computer Aided Verification (CAV) 2012, July 2012. [ DOI | .bib | .pdf ]
  • Michael Geisinger. Game-based Synthesis for Distributed Control of Industrial Assembly Lines. PhD thesis, Technische Universität München, 2014 (to appear).
  • Michael Geisinger and Chih-Hong Cheng. Programme auf Knopfdruck? Computer & Automation, pages 32-35, August 2013. [ WWW | .bib | .pdf ]
  • Chih-Hong Cheng, Michael Geisinger, and Christian Buckl. Synthesizing controllers for automation tasks with performance guarantees. In Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013, LNCS, Stony Brook, NY, USA, 2013. Springer. [ .bib | .pdf ]
  • Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. Game solving for industrial automation and control. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'12), May 2012. [ DOI | .bib | .pdf ]
  • Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, and Christian Buckl. GAVS+: an open platform for the research of algorithmic game solving. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), LNCS. Springer, April 2011. [ DOI | .bib | .pdf ]
  • Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll, and Harald Ruess. Optimizations for game-based software synthesis. Technical Report TR-2011-12, Verimag Research Report, August 2011. [ .bib.pdf ]
  • Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, and Alois Knoll. GAVS: Game arena visualization and synthesis. In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), volume 6252 of LNCS, pages 347-352. Springer, September 2010. [ DOI | .bib | .pdf ]