conftrace_

safe behavior

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

safety-critical control (1) safe controller (1) design specification (1) trustworthy machine learning (1) control barrier function (1) false positive rate (1) nonlinear control (1) model uncertainty (1) formal verification (1) model safety (1)

Papers

Data-Driven Discovery of Design Specifications (Student Abstract) AAAI 2024 Learning for Safety-Critical Control with Control Barrier Functions L4DC 2020