List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quantitative verification of learning-enabled systems using ProbStar reachability Nonlinear Analysis. Hybrid Systems | 2025-12-12 | Paper |
| ProbStar temporal logic for verifying complex behaviors of learning-enabled systems | 2025-11-07 | Paper |
| Reachability analysis of recurrent neural networks Nonlinear Analysis. Hybrid Systems | 2025-03-10 | Paper |
| Quantitative Verification for Neural Networks using ProbStars Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Stealthy attacks formalized as STL formulas for Falsification of CPS Security Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Gray-box adversarial testing for control systems with machine learning components Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Falsification of temporal properties of hybrid systems using the cross-entropy method Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
| Linear hybrid system falsification through local search Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
| S-TaLiRo: a tool for temporal logic falsification for hybrid systems Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
| Robustness of temporal logic specifications for continuous-time signals Theoretical Computer Science | 2009-10-09 | Paper |
| Temporal logic motion planning for dynamic robots Automatica | 2009-04-22 | Paper |
| Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
| Robust Test Generation and Coverage for Hybrid Systems Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
| Temporal Logic Verification Using Simulation Lecture Notes in Computer Science | 2008-07-08 | Paper |
| Robust Sampling for MITL Specifications Lecture Notes in Computer Science | 2008-07-03 | Paper |
Research outcomes over time
This page was built for person: Georgios E. Fainekos
