Karena X. Cai, Tung Phan-Minh, Soon Jo Chung, Richard M. Murray. Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design. IEEE Transactions on Robotics, 39(3):1853-1872, June 2023. [doi]
@article{CaiPCM23, title = {Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design}, author = {Karena X. Cai and Tung Phan-Minh and Soon Jo Chung and Richard M. Murray}, year = {2023}, month = {June}, doi = {10.1109/TRO.2023.3247951}, url = {https://doi.org/10.1109/TRO.2023.3247951}, researchr = {https://researchr.org/publication/CaiPCM23}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Robotics}, volume = {39}, number = {3}, pages = {1853-1872}, }