Provably Safe Neural Network Controllers via Differential Dynamic Logic (PUB-022)

PUB-022 · 2024 · NeurIPS 2024¹

DOI

Publication landing page: authors, related facilities, grants, and sources.

Authors

• Stefan Mitsch (coauthor)¹

Related facilities

• No facility links in registry.

Related grants

• No grant links in registry.

Sources

1. PROVE Lab selected publications list Teuber, Mitsch, Platzer, NeurIPS 2024; Crossref author list includes Stefan Mitsch. Archived source retained by Resource Map maintainers. View current source