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

Provably Safe Neural Network Controllers via Differential Dynamic Logic (2024) is listed in the DePaul Resource Map with a link to the published version (NeurIPS 2024).

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 records.

Related grants

• No grant links in records.

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