Research Output per year
Personal profile
Education/Academic qualification
PHD, University of Pennsylvania
… → 2008
MS, University of Pennsylvania
… → 2004
Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 2 Similar Profiles
Temporal logic
Engineering & Materials Science
Specifications
Engineering & Materials Science
Hybrid systems
Engineering & Materials Science
Temporal Logic
Mathematics
Motion planning
Engineering & Materials Science
Robots
Engineering & Materials Science
Testing
Engineering & Materials Science
Controllers
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2003 2019
Continuous simulation optimization with model mismatch using Gaussian process regression
Inanlouganji, A., Pedrielli, G., Fainekos, G. & Pokutta, S., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2131-2142 12 p. 8632427. (Proceedings - Winter Simulation Conference; vol. 2018-December).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Simulation Optimization
Continuous Optimization
Gaussian Process
Fidelity
Regression
Gray-box adversarial testing for control systems with machine learning components
Yaghoubi, S. & Fainekos, G., Apr 16 2019, HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 179-184 6 p. (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Learning systems
Neural networks
Control systems
Closed loop control systems
Controllers
Local descent for temporal logic falsification of cyber-physical systems
Yaghoubi, S. & Fainekos, G., Jan 1 2019, Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers. Chamberlain, R., Taha, W. & Törngren, M. (eds.). Springer Verlag, p. 11-26 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11267 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Temporal logic
Global optimization
Temporal Logic
Simulated annealing
Descent
1
Citation
(Scopus)
Deep predictive models for collision risk assessment in autonomous driving
Strickland, M., Fainekos, G. & Ben Amor, H., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 4685-4692 8 p. 8461160. (Proceedings - IEEE International Conference on Robotics and Automation).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Risk assessment
Accidents
Decision making
Cameras
Experiments
Experience report: Application of falsification methods on the UxAS system
Tuncali, C. E., Hoxha, B., Ding, G., Fainekos, G. & Sankaranarayanan, S., Jan 1 2018, NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. Springer Verlag, p. 452-459 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10811 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Simulators
Specifications
Planning
Simulator
Specification
Projects 2010 2021
CES Project: Design and Analysis of Collision Risk Assessment and Collision Avoid
8/1/18 → 8/31/19
Project: Research project
CES Project: Coverage guarantees for requirements guided falsification
8/1/18 → 8/31/19
Project: Research project
Intel-ASU A-SPACE Initiative: Proposed Research Tasks
Karam, L., Bazzi, R., Marchant, G., Shrivastava, A., Fainekos, G., Mayyas, A. & Ben Amor, H.
5/1/18 → 4/30/21
Project: Research project
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
8/15/14 → 7/31/20
Project: Research project
CES Project: Automated Testing for Functional Coverage for Cyber-Physical Systems
8/1/17 → 8/31/18
Project: Research project