firstbacksecondback
2 Results
|
Poster
|
Tue 9:00 |
Neural Abstractions Alessandro Abate · Alec Edwards · Mirco Giacobbe |
|
|
Workshop
|
Fri 10:15 |
Panel: Safety and Verification for Decision-Making Systems (Q&A 3) Luca Carlone · Sarah Dean · Matthew Johnson-Roberson |