| On the minimal revision problem of specification automata K Kim, G Fainekos, S Sankaranarayanan The International Journal of Robotics Research 34 (12), 1515-1535, 2015 | 40 | 2015 |
| On the revision problem of specification automata K Kim, GE Fainekos, S Sankaranarayanan 2012 IEEE International Conference on Robotics and Automation, 5171-5176, 2012 | 39 | 2012 |
| Approximate solutions for the minimal revision problem of specification automata K Kim, GE Fainekos 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2012 | 32 | 2012 |
| A graphical language for LTL motion and mission planning S Srinivas, R Kermani, K Kim, Y Kobayashi, G Fainekos 2013 IEEE International Conference on Robotics and Biomimetics (ROBIO), 704-709, 2013 | 24 | 2013 |
| Discof: Cooperative pathfinding in distributed systems with limited sensing and communication range Y Zhang, K Kim, G Fainekos Distributed Autonomous Robotic Systems: The 12th International Symposium …, 2016 | 22 | 2016 |
| Extended LTLvis motion planning interface W Wei, K Kim, G Fainekos 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2016 | 10 | 2016 |
| Revision of specification automata under quantitative preferences K Kim, G Fainekos 2014 IEEE International Conference on Robotics and Automation (ICRA), 5339-5344, 2014 | 10 | 2014 |
| Minimal specification revision for weighted transition systems K Kim, G Fainekos 2013 IEEE International Conference on Robotics and Automation, 4068-4074, 2013 | 8 | 2013 |
| DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems K Kim, J Campbell, W Duong, Y Zhang, G Fainekos 2015 IEEE International Conference on Automation Science and Engineering …, 2015 | 7 | 2015 |
| Mission and Motion Planning for Multi-robot Systems in Constrained Environments K Kim Arizona State University, 2019 | | 2019 |
| Extended LTLvis Motion Planning interface (Extended Technical Report) W Wei, K Kim, G Fainekos arXiv preprint arXiv:1607.01419, 2016 | | 2016 |
| DisCoF+ K Kim, J Campbell, W Duong, Y Zhang, G Fainekos IEEE Computer Society, 2015 | | 2015 |