conftrace_

polynomial real arithmetic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safety-critical system (1) hybrid system (1) differential dynamic logic (1) cyber-physical system (1) infinite-time safety (1) neural network verification (1) formal verification (1) formal methods (1)

Papers

Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024