Antoine Girard

Université Joseph Fourier, Verimag

Papers

3

Total Citations

512

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 512 citations
Control theory (sociology)3 · 512 citations
Engineering3 · 512 citations
Control (management)3 · 512 citations
Artificial intelligence3 · 512 citations
Trajectory2 · 491 citations
Theoretical computer science2 · 491 citations
Control engineering2 · 491 citations
Temporal logic2 · 491 citations
Bounded function2 · 481 citations
Mathematics2 · 481 citations
Bisimulation1 · 460 citations

Key Achievements

3
H-Index
3
Papers
512
Total Citations
171
Avg Citations/Paper
🏆 Most Cited Paper
Temporal logic motion planning for dynamic robots
460 citations · 2008
📈 Most Prolific Year: 2008 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Université Joseph Fourier, Verimag

Top Papers

  1. 1
    Temporal logic motion planning for dynamic robots
    460 citations · 2008
  2. 2
    Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
    31 citations · 2007
  3. 3
    Hierarchical Control using Approximate Simulation Relations
    21 citations · 2006

Key Collaborators

GJGeorge J. Pappas3 shared papersGFGeorgios Fainekos2 shared papersHKHadas Kress‐Gazit1 shared papers
Not generated yet