Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. - Mohammad Hekmatnejad; Georgios Fainekos (ACC, 2018)

Task Scheduling with Nonlinear Costs using SMT Solvers. - Mohammad Hekmatnejad; Giulia Pedrielli; Georgios Fainekos (CASE, 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 (MEMOCODE, 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 (RuleML+RR (Supplement), 2019)

Model Checking Clinical Decision Support Systems Using SMT. - Mohammad Hekmatnejad; Georgios Fainekos (CoRR, 2019)

Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. - Mohammad Hekmatnejad; Bardh Hoxha; Georgios Fainekos (ITSC, 2020)

PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic. - Jacob Anderson; Mohammad Hekmatnejad; Georgios Fainekos (RE, 2022)

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., 2024)