Следене
Georgios Fainekos
Заглавие
Позовавания
Позовавания
Година
Temporal-logic-based reactive mission and motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
IEEE transactions on robotics 25 (6), 1370-1381, 2009
9552009
Robustness of temporal logic specifications for continuous-time signals
GE Fainekos, GJ Pappas
Theoretical Computer Science 410 (42), 4262-4291, 2009
6892009
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
Y Annpureddy, C Liu, G Fainekos, S Sankaranarayanan
International Conference on Tools and Algorithms for the Construction and …, 2011
5892011
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
5522009
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...
Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018
3902018
Temporal logic motion planning for mobile robots
GE Fainekos, H Kress-Gazit, GJ Pappas
Proceedings of the 2005 IEEE International Conference on Robotics and …, 2005
3402005
Where's waldo? sensor-based temporal logic motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
Proceedings 2007 IEEE International Conference on Robotics and Automation …, 2007
3012007
Simulation-based adversarial test generation for autonomous vehicles with machine learning components
CE Tuncali, G Fainekos, H Ito, J Kapinski
2018 IEEE Intelligent Vehicles Symposium (IV), 1555-1562, 2018
2872018
Hybrid controllers for path planning: A temporal logic approach
GE Fainekos, H Kress-Gazit, GJ Pappas
Proceedings of the 44th IEEE Conference on Decision and Control, 4885-4890, 2005
2342005
Probabilistic temporal logic falsification of cyber-physical systems
H Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A Gupta
ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 2013
2212013
Translating structured english to robot controllers
H Kress-Gazit, GE Fainekos, GJ Pappas
Advanced Robotics 22 (12), 1343-1359, 2008
2092008
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
T Nghiem, S Sankaranarayanan, G Fainekos, F Ivancić, A Gupta, ...
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
1782010
Robust test generation and coverage for hybrid systems
AA Julius, GE Fainekos, M Anand, I Lee, GJ Pappas
International Workshop on Hybrid Systems: Computation and Control, 329-342, 2007
1672007
On-line monitoring for temporal logic robustness
A Dokhanchi, B Hoxha, G Fainekos
International Conference on Runtime Verification, 231-246, 2014
1532014
Robustness of temporal logic specifications
GE Fainekos, GJ Pappas
International Workshop on Formal Approaches to Software Testing, 178-192, 2006
1532006
Falsification of temporal properties of hybrid systems using the cross-entropy method
S Sankaranarayanan, G Fainekos
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
1522012
Requirements-driven test generation for autonomous vehicles with machine learning components
CE Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski
IEEE Transactions on Intelligent Vehicles 5 (2), 265-280, 2019
1442019
Benchmarks for Temporal Logic Requirements for Automotive Systems.
B Hoxha, H Abbas, G Fainekos
ARCH@ CPSWeek 34, 25-30, 2014
1422014
Experimental cooperative control of fixed-wing unmanned aerial vehicles
S Bayraktar, GE Fainekos, GJ Pappas
2004 43rd IEEE conference on decision and control (CDC)(IEEE Cat. No …, 2004
1422004
Verification of automotive control applications using s-taliro
GE Fainekos, S Sankaranarayanan, K Ueda, H Yazarel
2012 American Control Conference (ACC), 3567-3572, 2012
1252012
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20