The following pages link to Georgios E. Fainekos (Q732014):
Displayed 14 items.
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (Q2985883) (← links)
- Falsification of temporal properties of hybrid systems using the cross-entropy method (Q2986759) (← links)
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (Q3000653) (← links)
- Linear Hybrid System Falsification through Local Search (Q3172941) (← links)
- Robust Sampling for MITL Specifications (Q3510841) (← links)
- Temporal Logic Verification Using Simulation (Q3511234) (← links)
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (Q3612972) (← links)
- Robust Test Generation and Coverage for Hybrid Systems (Q3612982) (← links)
- Gray-box adversarial testing for control systems with machine learning components (Q5239235) (← links)
- Quantitative Verification for Neural Networks using ProbStars (Q6202079) (← links)
- Stealthy attacks formalized as STL formulas for Falsification of CPS Security (Q6202097) (← links)
- Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator (Q6202126) (← links)