Interactive Robot Transition Repair with SMT

Jarrett Holtz, Arjun Guha, and Joydeep Biswas
International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018
Demo Track, Most Innovative Demo Award