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
Nov-20-2025, 02:42:48 GMT
- Country:
- Europe > Germany
- Baden-Württemberg > Karlsruhe Region > Heidelberg (0.04)
- North America > United States
- California > San Diego County > San Diego (0.04)
- Europe > Germany
- Genre:
- Research Report > Experimental Study (0.93)
- Industry:
- Information Technology (0.67)
- Technology:
- Information Technology > Artificial Intelligence
- Machine Learning > Neural Networks (1.00)
- Representation & Reasoning (1.00)
- Robots (1.00)
- Information Technology > Artificial Intelligence