Login
- Title:
Verifiable Obstacle Detection
- Document type:
- Konferenzbeitrag
- Author(s):
- Bansal, Ayoosh; Kim, Hunmin; Yu, Simon; Li, Bo; Hovakimyan, Naira; Caccamo, Marco; Sha, Lui
- Book / Congress title:
- 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)
- Publisher:
- IEEE
- Date of publication:
- 01.10.2022
- Year:
- 2022
- Fulltext / DOI:
- doi:10.1109/issre55969.2022.00017
BibTeX