conftrace_

bernstein over-approximation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural network dynamic model (1) control synthesis (1) safe control (1) relu neural network (1) real-time optimization (1)

Papers

Real-time safe control of neural network dynamic models with sound approximation L4DC 2024