Kangjin Kim

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Finite Automata

Formal Languages

Distributed Systems

Air Traffic Management

Top Venues

Publications

Jeongseok Kim, Kangjin Kim
Agent 3, change your route: possible conversation between a human manager and UAM Air Traffic Management (UATM). CoRR (2023)
Jeongseok Kim, Kangjin Kim
Dialogue Possibilities between a Human Supervisor and UAM Air Traffic Management: Route Alteration. CoRR (2023)
Seungwan Woo, Jeongseok Kim, Kangjin Kim
We, Vertiport 6, are temporarily closed: Interactional Ontological Methods for Changing the Destination. CoRR (2023)
Jeongseok Kim, Kangjin Kim
Dialogue Possibilities between a Human Supervisor and UAM Air Traffic Management: Route Alteration. Adv. Artif. Intell. Mach. Learn. 3 (3) (2023)
Seungwan Woo, Jeongseok Kim, Kangjin Kim
We, Vertiport 6, are temporarily closed: Interactional Ontological Methods for Changing the Destination. RobOntics@RO-MAN (2023)
Wei Wei, Kangjin Kim, Georgios Fainekos
Extended LTLvis Motion Planning interface (Extended Technical Report). CoRR (2016)
Wei Wei, Kangjin Kim, Georgios Fainekos
Extended LTLvis motion planning interface. SMC (2016)
Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan
On the minimal revision problem of specification automata. Int. J. Robotics Res. 34 (12) (2015)
Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos
DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. CoRR (2015)
Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos
: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems. CASE (2015)
Yu Zhang, Kangjin Kim, Georgios Fainekos
DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range. DARS (2014)
Kangjin Kim, Georgios Fainekos
Revision of specification automata under quantitative preferences. ICRA (2014)
Kangjin Kim, Georgios Fainekos
Revision of Specification Automata under Quantitative Preferences. CoRR (2014)
Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan
On the Minimal Revision Problem of Specification Automata. CoRR (2014)
Kangjin Kim, Georgios Fainekos
Minimal specification revision for weighted transition systems. ICRA (2013)
Shashank Srinivas, Ramtin Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos
A graphical language for LTL motion and mission planning. ROBIO (2013)
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan
On the revision problem of specification automata. ICRA (2012)
Kangjin Kim, Georgios Fainekos
Approximate solutions for the minimal revision problem of specification automata. IROS (2012)