Mohammad Hekmatnejad is an author at Arizona State University specializing in verification, automation, and intelligent systems.
Top concepts
AutomationEngineeringData ScienceVerificationSafety ScienceComputer ScienceAutomated VehiclesAutomated ReasoningFormal VerificationIntelligent Systems
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1