Georgios Fainekos

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Temporal-Logic-Based Reactive Mission and Motion Planning

   755 次引用 · 2009
2. 2
   Temporal logic motion planning for dynamic robots

   460 次引用 · 2008
3. 3
   Temporal Logic Motion Planning for Mobile Robots

   233 次引用 · 2006
4. 4
   Where's Waldo? Sensor-Based Temporal Logic Motion Planning

   222 次引用 · 2007
5. 5
   Hybrid Controllers for Path Planning: A Temporal Logic Approach

   172 次引用 · 2006
6. 6
   Translating Structured English to Robot Controllers

   150 次引用 · 2008
7. 7
   From structured english to robot motion

   46 次引用 · 2007
8. 8
   Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

   31 次引用 · 2007
9. 9
   On the minimal revision problem of specification automata

   30 次引用 · 2015
10. 10
    VISPEC: A graphical tool for elicitation of MTL requirements

    30 次引用 · 2015

主要合作者