Mitra, Sayan, Păsăreanu, Corina, Prabhakar, Pavithra, Seshia, Sanjit A, Mangal, Ravi, Li, Yangge, Watson, Christopher, Gopinath, Divya, and Yu, Huafeng. Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey. Retrieved from https://par.nsf.gov/biblio/10642945. Web. doi:10.1007/978-3-031-75778-5_5.

Mitra, Sayan, Păsăreanu, Corina, Prabhakar, Pavithra, Seshia, Sanjit A, Mangal, Ravi, Li, Yangge, Watson, Christopher, Gopinath, Divya, & Yu, Huafeng. Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey. Retrieved from https://par.nsf.gov/biblio/10642945. https://doi.org/10.1007/978-3-031-75778-5_5

Mitra, Sayan, Păsăreanu, Corina, Prabhakar, Pavithra, Seshia, Sanjit A, Mangal, Ravi, Li, Yangge, Watson, Christopher, Gopinath, Divya, and Yu, Huafeng. "Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey". Country unknown/Code not available: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-75778-5_5. https://par.nsf.gov/biblio/10642945.

@article{osti_10642945,
place = {Country unknown/Code not available}, title = {Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey}, url = {https://par.nsf.gov/biblio/10642945}, DOI = {10.1007/978-3-031-75778-5_5}, abstractNote = {Not Available}, journal = {}, publisher = {Springer Nature Switzerland}, author = {Mitra, Sayan and Păsăreanu, Corina and Prabhakar, Pavithra and Seshia, Sanjit A and Mangal, Ravi and Li, Yangge and Watson, Christopher and Gopinath, Divya and Yu, Huafeng}, }