Kamu erişimi zorunlu olan makaleler - Georgios FainekosDaha fazla bilgi edinin
Hiçbir yerde sunulmuyor: 4
Rapidly-exploring random trees for testing automated vehicles
CE Tuncali, G Fainekos
2019 IEEE Intelligent Transportation Systems Conference (ITSC), 661-666, 2019
Zorunlu olanlar: US National Science Foundation
Falsification of cyber-physical systems with robustness uncertainty quantification through stochastic optimization with adaptive restart
L Mathesen, S Yaghoubi, G Pedrielli, G Fainekos
2019 IEEE 15th International Conference on Automation Science and …, 2019
Zorunlu olanlar: US National Science Foundation
Stealthy attacks formalized as STL formulas for Falsification of CPS Security
A Chandratre, T Hernandez Acosta, T Khandait, G Pedrielli, G Fainekos
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
Zorunlu olanlar: US Department of Defense
Continuous simulation optimization with model mismatch using Gaussian process regression
A Inanlouganji, G Pedrielli, G Fainekos, S Pokutta
2018 Winter Simulation Conference (WSC), 2131-2142, 2018
Zorunlu olanlar: US National Science Foundation
Bir yerde sunuluyor: 60
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
Zorunlu olanlar: US National Science Foundation, Austrian Science Fund, European Commission
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
Zorunlu olanlar: US National Science Foundation
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
Zorunlu olanlar: US National Science Foundation
Mining parametric temporal logic properties in model-based design for cyber-physical systems
B Hoxha, A Dokhanchi, G Fainekos
International Journal on Software Tools for Technology Transfer 20, 79-93, 2018
Zorunlu olanlar: US National Science Foundation
Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles
CE Tuncali, TP Pavlic, G Fainekos
2016 ieee 19th international conference on intelligent transportation …, 2016
Zorunlu olanlar: US National Science Foundation
Deep predictive models for collision risk assessment in autonomous driving
M Strickland, G Fainekos, HB Amor
2018 IEEE International Conference on Robotics and Automation (ICRA), 4685-4692, 2018
Zorunlu olanlar: US National Science Foundation
Gray-box adversarial testing for control systems with machine learning components
S Yaghoubi, G Fainekos
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Zorunlu olanlar: US National Science Foundation
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic
M Hekmatnejad, S Yaghoubi, A Dokhanchi, HB Amor, A Shrivastava, ...
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
Zorunlu olanlar: US National Science Foundation
Evaluating perception systems for autonomous vehicles using quality temporal logic
A Dokhanchi, HB Amor, JV Deshmukh, G Fainekos
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
Zorunlu olanlar: US National Science Foundation
Arch-comp 2020 category report: Falsification
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...
EPiC Series in Computing, 2020
Zorunlu olanlar: US National Science Foundation, European Commission
Training neural network controllers using control barrier functions in the presence of disturbances
S Yaghoubi, G Fainekos, S Sankaranarayanan
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
Zorunlu olanlar: US National Science Foundation
ARCH-COMP 2019 Category Report: Falsification.
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...
ARCH@ CPSIoTWeek, 129-140, 2019
Zorunlu olanlar: US National Science Foundation
Worst-case satisfaction of stl specifications using feedforward neural network controllers: a lagrange multipliers approach
S Yaghoubi, G Fainekos
ACM Transactions on Embedded Computing Systems 18 (5s), 2019
Zorunlu olanlar: US National Science Foundation
Model-based falsification of an artificial pancreas control system
S Sankaranarayanan, SA Kumar, F Cameron, BW Bequette, G Fainekos, ...
ACM SIGBED Review 14 (2), 24-33, 2017
Zorunlu olanlar: US National Science Foundation
Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro
G Fainekos, B Hoxha, S Sankaranarayanan
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
Zorunlu olanlar: US National Science Foundation, US Department of Defense
Formal requirement debugging for testing and verification of cyber-physical systems
A Dokhanchi, B Hoxha, G Fainekos
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-26, 2017
Zorunlu olanlar: US National Science Foundation
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir