Exact Verification of ReLU Neural Control Barrier Functions
–Neural Information Processing Systems
In CBF-based control, the desired safety properties of the system are mapped to nonnegativity of a CBF, and the control input is chosen to ensure that the CBF remains nonnegative for all time.
Neural Information Processing Systems
Nov-13-2025, 17:52:19 GMT
- Country:
- Europe
- Germany > Baden-Württemberg
- Karlsruhe Region > Heidelberg (0.04)
- Hungary > Budapest
- Budapest (0.04)
- United Kingdom > North Sea
- Central North Sea (0.04)
- Germany > Baden-Württemberg
- North America > United States
- Missouri > St. Louis County > St. Louis (0.04)
- Europe
- Technology:
- Information Technology > Artificial Intelligence
- Machine Learning > Neural Networks (1.00)
- Representation & Reasoning (1.00)
- Robots (1.00)
- Information Technology > Artificial Intelligence