conftrace_

almost-sure safety

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hutchinson's trace estimator (1) safe controller (1) exponential stability (1) projection operator (1) stochastic differential equation (1)

Papers

FESSNC: Fast Exponentially Stable and Safe Neural Controller ICML 2024