Muhammad Ali Murtaza

1. Safety Aware Task Planning via Large Language Models in Robotics
   2025/03/19 by Azal Ahmad Khan, Michael Andrev, Khan, Azal Ahmad +13 · 6 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO) #Software Reliability and Analysis Research
2. Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints
   2022/03/26 by Muhammad Waqas, Waqas, Muhammad, Muhammad Ali Murtaza +5 · 1 citation
   Engineering · #Traffic control and management #Vehicular Ad Hoc Networks (VANETs) #Autonomous Vehicle Technology and Safety