Kangjin Kim

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   On the minimal revision problem of specification automata

   30 次引用 · 2015
2. 2
   On the revision problem of specification automata

   28 次引用 · 2012
3. 3
   Approximate solutions for the minimal revision problem of specification automata

   26 次引用 · 2012
4. 4
   A graphical language for LTL motion and mission planning

   15 次引用 · 2013
5. 5
   DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range

   15 次引用 · 2016
6. 6
   Extended LTLvis motion planning interface

   8 次引用 · 2016
7. 7
   DisCoF<sup>+</sup>: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems

   2 次引用 · 2015
8. 8
   DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems

   2 次引用 · 2015

主要合作者