Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis.

Sat, 01 Mar 2025 00:00:00 +0100

Ahmad Hafez, Alireza Naderi Akhormeh, Amr Hegazy, Amr Al-Anwar:
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis. CoRR abs/2503.03911 (2025)