| 2009 |
|---|
| 9 | EE | Georgios E. Fainekos,
Antoine Girard,
Hadas Kress-Gazit,
George J. Pappas:
Temporal logic motion planning for dynamic robots.
Automatica 45(2): 343-352 (2009) |
| 2007 |
|---|
| 8 | EE | Georgios E. Fainekos,
George J. Pappas:
Robust Sampling for MITL Specifications.
FORMATS 2007: 147-162 |
| 7 | EE | Georgios E. Fainekos,
Antoine Girard,
George J. Pappas:
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.
HSCC 2007: 203-216 |
| 6 | EE | A. Agung Julius,
Georgios E. Fainekos,
Madhukar Anand,
Insup Lee,
George J. Pappas:
Robust Test Generation and Coverage for Hybrid Systems.
HSCC 2007: 329-342 |
| 5 | EE | Hadas Kress-Gazit,
Georgios E. Fainekos,
George J. Pappas:
Where's Waldo? Sensor-Based Temporal Logic Motion Planning.
ICRA 2007: 3116-3121 |
| 4 | EE | Hadas Kress-Gazit,
Georgios E. Fainekos,
George J. Pappas:
From structured english to robot motion.
IROS 2007: 2717-2722 |
| 2006 |
|---|
| 3 | EE | Georgios E. Fainekos,
George J. Pappas:
Robustness of Temporal Logic Specifications.
FATES/RV 2006: 178-192 |
| 2 | EE | Georgios E. Fainekos,
Antoine Girard,
George J. Pappas:
Temporal Logic Verification Using Simulation.
FORMATS 2006: 171-186 |
| 2005 |
|---|
| 1 | | Georgios E. Fainekos,
Hadas Kress-Gazit,
George J. Pappas:
Temporal Logic Motion Planning for Mobile Robots.
ICRA 2005: 2020-2025 |
