Interactive Robot Transition Repair with SMT

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

@inproceedings{2018-holtz-aamas,
author = "Jarrett Holtz, Arjun Guha, and Joydeep Biswas",
title = "Interactive Robot Transition Repair with SMT",
year = 2018,
booktitle = "International Conference on Autonomous Agents and Multiagent Systems (AAMAS)",

}