Alireza Naderi Akhormeh
- Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
2025/03/05 by Ahmad Hafez, Hafez, Ahmad, Alireza Naderi Akhormeh +5 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering