A. Mahadev, D. Krupke, J. Reinhardt, S. Fekete, and A. Becker. IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016, page 1231--1236. IEEE, (2016)
A. Becker, S. Fekete, P. Keldenich, D. Krupke, C. Rieck, C. Scheffer, and A. Schmidt. 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, volume 92 of LIPIcs, page 11:1--11:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)
A. Mahadev, D. Krupke, S. Fekete, and A. Becker. 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017, page 1097--1104. IEEE, (2017)
A. Becker, M. Debboun, S. Fekete, D. Krupke, and A. Nguyen. 33rd International Symposium on Computational Geometry, SoCG 2017, July 4-7, 2017, Brisbane, Australia, volume 77 of LIPIcs, page 62:1--62:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)