ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger

  • 14 views

  • 0 Kommentare

  • 0 favorites

Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers

Tags:
Kategorien: Veranstaltungen, Forschung