Towards minimal explanations of unsynthesizability for high-level robot behaviors.

Vasumathi Raman, Hadas Kress-Gazit

Browse the full IROS paper archive.