Georgios Fainekos
Computational Theory and Mathematics · 2009–2018
A researcher in the Science corpus: 5 papers; trusts 18 researchers and is trusted by 4 researchers here, as inferred from the citation graph.
Subfields
- Computational Theory and Mathematics — 23 citations into it; #6,716 of 12,182 by trust here, #5,239 by citations
- Software — 10 citations into it
- Hardware and Architecture — 9 citations into it
- Artificial Intelligence — 8 citations into it; #22,190 of 35,345 by trust here, #27,551 by citations
- Computer Vision and Pattern Recognition — 8 citations into it; #12,618 of 21,575 by trust here, #15,529 by citations
Whom Georgios Fainekos trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Steven M. LaValle
- Antoine Girard
- George Pappas
- Rajeev Alur
- Emilio Frazzoli
- Arthur G. Richards
- Paulo Tabuada
- Howie Choset
- Oded Maler
- Thomas A. Henzinger
Who trusts Georgios Fainekos overall
Papers from Georgios Fainekos's perspective
Ordered by how strongly the researchers Georgios Fainekos trusts endorse each paper. Same corpus, a different order for every researcher.
- Robust hybrid control for autonomous vehicle motion planning (Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187))
- Principles of Robot Motion: Theory, Algorithms, and Implementations [Book Review] (IEEE robotics & automation magazine)
- Planning algorithms
- Introduction to algorithms [2nd ed.]
- Approximation Metrics for Discrete and Continuous Systems (IEEE Transactions on Automatic Control)
- Maneuver-based motion planning for nonlinear systems with symmetries
- Aircraft trajectory planning with collision avoidance using mixed integer linear programming (Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301))
- Dynamical properties of hybrid automata (IEEE Transactions on Automatic Control)
- Supervisory control of hybrid systems (Proceedings of the IEEE)
- Discrete abstractions of hybrid systems (Proceedings of the IEEE)
Their papers
- Temporal-Logic-Based Reactive Mission and Motion Planning (2009) — 829 citations
- Temporal logic motion planning for dynamic robots (2009) — 493 citations
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (2011) — 486 citations
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (2018) — 329 citations
- Robustness of temporal logic specifications for continuous-time signals (2009) — 367 citations