SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
–Neural Information Processing Systems
Neural Control Barrier Functions (NCBFs) have shown significant promise in enforcing safety constraints on nonlinear autonomous systems.
Neural Information Processing Systems
Feb-17-2026, 17:11:22 GMT
- Country:
- North America > United States
- California > San Diego County > San Diego (0.04)
- Europe > Germany
- Baden-Württemberg > Karlsruhe Region > Heidelberg (0.04)
- North America > United States
- Genre:
- Research Report > Experimental Study (0.93)
- Industry:
- Information Technology (0.67)
- Technology:
- Information Technology > Artificial Intelligence
- Robots (1.00)
- Representation & Reasoning (1.00)
- Machine Learning > Neural Networks (1.00)
- Information Technology > Artificial Intelligence