A. Mahadev, D. Krupke, J. Reinhardt, S. Fekete, и A. Becker. IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016, стр. 1231--1236. IEEE, (2016)
A. Becker, S. Fekete, P. Keldenich, D. Krupke, C. Rieck, C. Scheffer, и A. Schmidt. 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, том 92 из LIPIcs, стр. 11:1--11:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)
A. Mahadev, D. Krupke, S. Fekete, и A. Becker. 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017, стр. 1097--1104. IEEE, (2017)