| 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 | 58 | 2019 |
| Search-based test-case generation by monitoring responsibility safety rules M Hekmatnejad, B Hoxha, G Fainekos 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 17 | 2020 |
| Task scheduling with nonlinear costs using SMT solvers M Hekmatnejad, G Pedrielli, G Fainekos 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 9 | 2019 |
| Optimal multi-valued ltl planning for systems with access right levels M Hekmatnejad, G Fainekos 2018 Annual American Control Conference (ACC), 2363-2370, 2018 | 8 | 2018 |
| Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic M Hekmatnejad, B Hoxha, J V. Deshmukh, Y Yang, G Fainekos The International Journal of Robotics Research 43 (2), 203-238, 2024 | 4 | 2024 |
| PyFoReL: a domain-specific language for formal requirements in temporal logic J Anderson, M Hekmatnejad, G Fainekos 2022 IEEE 30th International Requirements Engineering Conference (RE), 266-267, 2022 | 3 | 2022 |
| Formalizing safety, perception, and mission requirements for testing and planning in autonomous vehicles M Hekmatnejad Arizona State University, 2021 | 3 | 2021 |
| Model checking clinical decision support systems using smt M Hekmatnejad, AM Simms, G Fainekos arXiv preprint arXiv:1901.04545, 2019 | 2 | 2019 |
| Traits: An object oriented dynamic type system for reasoning with unstructured data in a type safe environment. D Sottara, M Proctor, S Bragaglia, M Hekmatnejad CEUR Workshop Proceedings 2438, 2019 | 1 | 2019 |
| Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment. S Davide, M Proctor, S Bragaglia, M Hekmatnejad Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule …, 2019 | | 2019 |
Georgios FainekosToyota Research Institute of North America在 toyota.com 的电子邮件经过验证
