Ruolin Wang, Yuejiao Xu, Jie Peng, Jianmin Ji. A²CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles. In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. pages 690-699, 2023. [doi]
Abstract is missing.