Folgen
Felipe Toledo
Felipe Toledo
University of Virginia
Bestätigte E-Mail-Adresse bei virginia.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Distribution models for falsification and verification of dnns
F Toledo, D Shriver, S Elbaum, MB Dwyer
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
82021
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities
F Toledo, D Shriver, S Elbaum, MB Dwyer
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
22023
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles
T Woodlief, F Toledo, S Elbaum, MB Dwyer
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3