Mohammad Hekmatnejad

According to our database, Mohammad Hekmatnejad authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.

Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos

Int. J. Robotics Res., February, 2024

2022

PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic.

Jacob Anderson, Mohammad Hekmatnejad, Georgios Fainekos

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

2020

Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules.

Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019

Model Checking Clinical Decision Support Systems Using SMT.

Mohammad Hekmatnejad, Georgios Fainekos

CoRR, 2019

Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment.

Davide Sottara, Mark Proctor, Stefano Bragaglia, Mohammad Hekmatnejad

Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019, 2019

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.

Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Task Scheduling with Nonlinear Costs using SMT Solvers.

Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels.

Mohammad Hekmatnejad, Georgios Fainekos

Proceedings of the 2018 Annual American Control Conference, 2018