Follow
Mohammad Hekmatnejad
Title
Cited by
Cited by
Year
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
672019
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
202020
Task scheduling with nonlinear costs using SMT solvers
M Hekmatnejad, G Pedrielli, G Fainekos
2019 IEEE 15th International Conference on Automation Science and …, 2019
102019
Optimal multi-valued ltl planning for systems with access right levels
M Hekmatnejad, G Fainekos
2018 Annual American Control Conference (ACC), 2363-2370, 2018
82018
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
52024
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
32022
Formalizing safety, perception, and mission requirements for testing and planning in autonomous vehicles
M Hekmatnejad
Arizona State University, 2021
32021
Model checking clinical decision support systems using smt
M Hekmatnejad, AM Simms, G Fainekos
arXiv preprint arXiv:1901.04545, 2019
22019
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
12019
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
The system can't perform the operation now. Try again later.
Articles 1–10