4 citations · 10 across the 8 of their papers we have counts for
8 papers
Next-Depth Lookahead Tree
Jaeho Lee, Kangjin Kim, Gyeong Taek Lee
This paper proposes the Next-Depth Lookahead Tree (NDLT), a single-tree model designed to improve performance by evaluating node splits not only at the node being optimized but als…
Dialogue Possibilities between a Human Supervisor and UAM Air Traffic Management: Route Alteration
Jeongseok Kim, Kangjin Kim
This paper introduces a novel approach to detour management in Urban Air Traffic Management (UATM) using knowledge representation and reasoning. It aims to understand the complexit…
We, Vertiport 6, are temporarily closed: Interactional Ontological Methods for Changing the Destination
Seungwan Woo, Jeongseok Kim, Kangjin Kim
This paper presents a continuation of the previous research on the interaction between a human traffic manager and the UATMS. In particular, we focus on the automation of the proce…
Agent 3, change your route: possible conversation between a human manager and UAM Air Traffic Management (UATM)
Jeongseok Kim, Kangjin Kim
This work in progress paper provides an example to show a detouring procedure through knowledge representation and reasoning. When a human manager requests a detouring, this should…
Extended LTLvis Motion Planning interface (Extended Technical Report)
Wei Wei, Kangjin Kim, Georgios Fainekos
This paper introduces an extended version of the Linear Temporal Logic (LTL) graphical interface. It is a sketch based interface built on the Android platform which makes the LTL c…
DisCoF: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems
Kangjin Kim, Joe Campbell, William Duong +2
In our prior work, we outlined an approach, named DisCoF, for cooperative pathfinding in distributed systems with limited sensing and communication range. Contrasting to prior work…
On the Minimal Revision Problem of Specification Automata
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan
As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using au…
Revision of Specification Automata under Quantitative Preferences
Kangjin Kim, Georgios Fainekos
We study the problem of revising specifications with preferences for automata based control synthesis problems. In this class of revision problems, the user provides a numerical ra…