Hekmatnejad, Mohammad, Yaghoubi, Shakiba, Dokhanchi, Adel, Amor, Heni Ben, Shrivastava, Aviral, Karam, Lina, and Fainekos, Georgios. Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. Retrieved from https://par.nsf.gov/biblio/10207144. MEMOCODE '19: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design . Web. doi:10.1145/3359986.3361203.

Hekmatnejad, Mohammad, Yaghoubi, Shakiba, Dokhanchi, Adel, Amor, Heni Ben, Shrivastava, Aviral, Karam, Lina, & Fainekos, Georgios. Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE '19: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, (). Retrieved from https://par.nsf.gov/biblio/10207144. https://doi.org/10.1145/3359986.3361203

Hekmatnejad, Mohammad, Yaghoubi, Shakiba, Dokhanchi, Adel, Amor, Heni Ben, Shrivastava, Aviral, Karam, Lina, and Fainekos, Georgios. "Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic". MEMOCODE '19: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (). Country unknown/Code not available. https://doi.org/10.1145/3359986.3361203. https://par.nsf.gov/biblio/10207144.

@article{osti_10207144,
place = {Country unknown/Code not available}, title = {Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic}, url = {https://par.nsf.gov/biblio/10207144}, DOI = {10.1145/3359986.3361203}, abstractNote = {}, journal = {MEMOCODE '19: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design}, author = {Hekmatnejad, Mohammad and Yaghoubi, Shakiba and Dokhanchi, Adel and Amor, Heni Ben and Shrivastava, Aviral and Karam, Lina and Fainekos, Georgios}, editor = {null} }