Kangjin Kim
Title
Cited by
Cited by
Year
On the revision problem of specification automata
K Kim, GE Fainekos, S Sankaranarayanan
2012 IEEE International Conference on Robotics and Automation, 5171-5176, 2012
372012
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
292012
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
262015
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
182013
Discof: Cooperative pathfinding in distributed systems with limited sensing and communication range
Y Zhang, K Kim, G Fainekos
Distributed Autonomous Robotic Systems, 325-340, 2016
132016
Revision of specification automata under quantitative preferences
K Kim, G Fainekos
2014 IEEE International Conference on Robotics and Automation (ICRA), 5339-5344, 2014
92014
Minimal specification revision for weighted transition systems
K Kim, G Fainekos
2013 IEEE International Conference on Robotics and Automation, 4068-4074, 2013
72013
Extended LTLvis motion planning interface
W Wei, K Kim, G Fainekos
2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2016
62016
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
52015
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
The system can't perform the operation now. Try again later.
Articles 1–12