Bayat, Amir
- LLM-Enhanced Symbolic Control for Safety-Critical Applications
2025/05/16 by Bayat, Amir, Alessandro Abate, Abate, Alessandro +4 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering