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)