Albert Rizaldi, Matthias Althoff. Formalising Traffic Rules for Accountability of Autonomous Vehicles. In IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, Gran Canaria, Spain, September 15-18, 2015. pages 1658-1665, IEEE, 2015. [doi]
Abstract is missing.