Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber
–Neural Information Processing Systems
One reason for this is the intractability of analyzing NNs, ODEs and hybrid systems.
Neural Information Processing Systems
Dec-27-2025, 18:21:31 GMT
- Country:
- Asia
- Middle East > Israel
- Haifa District > Haifa (0.04)
- Vietnam > Hanoi
- Hanoi (0.04)
- Middle East > Israel
- Europe
- Belgium > Brussels-Capital Region
- Brussels (0.04)
- United Kingdom
- England
- Greater London > London (0.04)
- Merseyside > Liverpool (0.04)
- North Sea > Central North Sea (0.04)
- England
- Ireland > Leinster
- County Dublin > Dublin (0.04)
- Luxembourg > Luxembourg Canton
- Luxembourg City (0.04)
- Croatia > Dubrovnik-Neretva County
- Dubrovnik (0.04)
- Italy > Lazio
- Rome (0.04)
- Switzerland (0.04)
- Germany
- Baden-Württemberg > Karlsruhe Region
- Heidelberg (0.04)
- Karlsruhe (0.04)
- Bavaria > Upper Bavaria
- Munich (0.04)
- Berlin (0.04)
- Baden-Württemberg > Karlsruhe Region
- Poland (0.04)
- Hungary > Budapest
- Budapest (0.04)
- Portugal > Porto
- Porto (0.04)
- Austria (0.04)
- Spain > Galicia
- A Coruña Province > Santiago de Compostela (0.04)
- Belgium > Brussels-Capital Region
- North America
- Canada
- British Columbia > Vancouver (0.04)
- Quebec > Montreal (0.04)
- United States
- California > Los Angeles County
- Los Angeles (0.14)
- Pasadena (0.04)
- Connecticut > New Haven County
- New Haven (0.04)
- Illinois > Champaign County
- Champaign (0.04)
- Louisiana > Orleans Parish
- New Orleans (0.04)
- Maryland > Baltimore (0.04)
- Massachusetts > Suffolk County
- Boston (0.04)
- California > Los Angeles County
- Canada
- South America > Chile
- Asia
- Genre:
- Overview (0.67)
- Research Report
- Experimental Study (0.46)
- New Finding (0.46)
- Industry:
- Transportation > Air (1.00)
- Technology: