Georgios E. Fainekos

Available identifiers

Publication	Date of Publication	Type
Quantitative Verification for Neural Networks using ProbStars	2024-02-21	Paper
Stealthy attacks formalized as STL formulas for Falsification of CPS Security	2024-02-21	Paper
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator	2024-02-21	Paper
Gray-box adversarial testing for control systems with machine learning components	2019-10-22	Paper
Falsification of temporal properties of hybrid systems using the cross-entropy method	2017-05-16	Paper
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems	2017-05-10	Paper
Linear Hybrid System Falsification through Local Search	2011-10-07	Paper
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems	2011-05-19	Paper
Robustness of temporal logic specifications for continuous-time signals	2009-10-09	Paper
Temporal logic motion planning for dynamic robots	2009-04-22	Paper
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications	2009-03-11	Paper
Robust Test Generation and Coverage for Hybrid Systems	2009-03-11	Paper
Temporal Logic Verification Using Simulation	2008-07-08	Paper
Robust Sampling for MITL Specifications	2008-07-03	Paper

This page was built for person: Georgios E. Fainekos