ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
-
39 views
-
0 Kommentare
-
0 likes
-
0 favorites
-
Thomas
Thissen
- 44 Medien
- hochgeladen 7. September 2023
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Kategorien:
Veranstaltungen, Forschung
