Seguir
Felipe Toledo
Felipe Toledo
University of Virginia
Dirección de correo verificada de virginia.edu - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3