关注
Felipe Toledo
Felipe Toledo
University of Virginia
在 virginia.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
32023
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
12024
Specifying and Monitoring Safe Driving Properties with Scene Graphs
F Toledo, T Woodlief, S Elbaum, MB Dwyer
2024 IEEE International Conference on Robotics and Automation (ICRA), 15577 …, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–4