conftrace_

differential dynamic logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cyber-physical system (1) infinite-time safety (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