a922b7121007768f78f770c404415375-Paper-Conference.pdf
–Neural Information Processing Systems
We show that this produces a neural ODE with non-deterministic disturbances that constitutes a formal abstraction of the concrete model under analysis. This guarantees a fundamental property: if the abstract model is safe, i.e., free from
Neural Information Processing Systems
Nov-15-2025, 17:42:57 GMT
- Country:
- Europe > United Kingdom
- England
- Oxfordshire > Oxford (0.14)
- West Midlands > Birmingham (0.04)
- England
- North America > United States
- California (0.04)
- Europe > United Kingdom
- Genre:
- Instructional Material > Course Syllabus & Notes (0.34)
- Research Report (0.93)
- Technology: