3 papers
eess.SY2026
End-to-End Abstraction-Based Control with LLM-Enhanced NL-to-LTL Translation
Amir Bayat, Necmiye Ozay, Alessandro Abate +1
Abstraction-Based Controller Design (ABCD) offers a principled framework for the safe control of complex Cyber-Physical Systems (CPSs), but interfacing real-world requirements with…
eess.SY2025
LLM-Enhanced Symbolic Control for Safety-Critical Applications
Amir Bayat, Alessandro Abate, Necmiye Ozay +1
Motivated by Smart Manufacturing and Industry 4.0, we introduce a framework for synthesizing Abstraction-Based Controller Design (ABCD) for reach-avoid problems from Natural Langua…
cs.CY2025
In Which Areas of Technical AI Safety Could Geopolitical Rivals Cooperate?
Ben Bucknall, Saad Siddiqui, Lara Thurnherr +19
International cooperation is common in AI research, including between geopolitical rivals. While many experts advocate for greater international cooperation on AI safety to address…