conftrace_

infinite-time safety

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

differential dynamic logic (1) cyber-physical system (1) hybrid system (1) safety-critical system (1) polynomial real arithmetic (1) neural network verification (1) formal verification (1) formal methods (1)

Papers

Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024