3 citations · 3 across the 7 of their papers we have counts for
8 papers
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
Zhipeng Cao, Peiyang Song, Nikolaus Vertovec +6
Lyapunov functions and barrier certificates give state-space guarantees of stability and safety, but synthesizing and verifying them---especially for nonlinear, high-dimensional sy…
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…
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…
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…
Safe Reach Set Computation via Neural Barrier Certificates
Alessandro Abate, Sergiy Bogomolov, Alec Edwards +3
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by emplo…
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions
Virginie Debauche, Alec Edwards, Raphael M. Jungers +1
Neural-based, data-driven analysis and control of dynamical systems have been recently investigated and have shown great promise, e.g. for safety verification or stability analysis…
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Alec Edwards, Andrea Peruffo, Alessandro Abate
This paper presents Fossil 2.0, a new major release of a software tool for the synthesis of certificates (e.g., Lyapunov and barrier functions) for dynamical systems modelled as or…
A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
Alec Edwards, Andrea Peruffo, Alessandro Abate
An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control…