3 citations · 3 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…