Kangjin Kim
Papers
8
Total Citations
126
H-Index
6
About
Kangjin Kim is a roboticist whose research lies at the intersection of formal methods, control synthesis, and multi-agent systems, with a central focus on guaranteeing safe and provably correct robot behavior. His most influential work tackles the critical challenge of automatically revising high-level task specifications—expressed as temporal logic or automata—when they are found to be unrealizable. In a trio of highly cited papers (2012–2015, accumulating over 80 citations), Kim formalized the "minimal revision problem" for specification automata, developing both exact and approximate solutions that allow a robot to automatically adjust its mission requirements while preserving as much of the original intent as possible. This work provides a foundational tool for bridging the gap between high-level task planning and low-level control. Beyond specification revision, Kim contributed to making formal methods more accessible, notably through the "LTLvis" graphical language and interface for LTL motion planning. He also advanced distributed multi-robot coordination with the DisCoF framework, enabling cooperative pathfinding for robots with limited sensing and communication. Through these contributions, Kim has helped move provably correct robotics from theory toward practical, real-world deployment.
Research Focus
Key Achievements
Top Papers
- 1On the minimal revision problem of specification automata30 citations · 2015
- 2On the revision problem of specification automata28 citations · 2012
- 3
- 4A graphical language for LTL motion and mission planning15 citations · 2013
- 5
- 6Extended LTLvis motion planning interface8 citations · 2016
- 7
- 8