On the revision problem of specification automata. - Kangjin Kim; Georgios E. Fainekos; Sriram Sankaranarayanan 001 (ICRA, 2012)

Approximate solutions for the minimal revision problem of specification automata. - Kangjin Kim; Georgios Fainekos (IROS, 2012)

Minimal specification revision for weighted transition systems. - Kangjin Kim; Georgios Fainekos (ICRA, 2013)

A graphical language for LTL motion and mission planning. - Shashank Srinivas; Ramtin Kermani; Kangjin Kim; Yoshihiro Kobayashi; Georgios Fainekos (ROBIO, 2013)

DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range. - Yu Zhang; Kangjin Kim; Georgios Fainekos (DARS, 2014)

Revision of specification automata under quantitative preferences. - Kangjin Kim; Georgios Fainekos (ICRA, 2014)

DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems. - Kangjin Kim; Joe Campbell; William Duong; Yu Zhang; Georgios Fainekos (CASE, 2015)

DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. - Kangjin Kim; Joe Campbell; William Duong; Yu Zhang; Georgios Fainekos (CoRR, 2015)

On the minimal revision problem of specification automata. - Kangjin Kim; Georgios Fainekos; Sriram Sankaranarayanan 001 (Int. J. Robotics Res., 2015)

Extended LTLvis motion planning interface. - Wei Wei; Kangjin Kim; Georgios Fainekos (SMC, 2016)

Extended LTLvis Motion Planning interface (Extended Technical Report). - Wei Wei; Kangjin Kim; Georgios Fainekos (CoRR, 2016)

We, Vertiport 6, are temporarily closed: Interactional Ontological Methods for Changing the Destination. - Seungwan Woo; Jeongseok Kim; Kangjin Kim (RobOntics@RO-MAN, 2023)

Dialogue Possibilities between a Human Supervisor and UAM Air Traffic Management: Route Alteration. - Jeongseok Kim; Kangjin Kim (Adv. Artif. Intell. Mach. Learn., 2023)

Agent 3, change your route: possible conversation between a human manager and UAM Air Traffic Management (UATM). - Jeongseok Kim; Kangjin Kim (CoRR, 2023)

Robust phylogenetic tree-based microbiome association test using repeatedly measured data for composition bias. - Kangjin Kim; Sungho Won (BMC Bioinform., 2025)