Pascal Minnerup, Alois Knoll. Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis. In 2016 IEEE Intelligent Vehicles Symposium, IV 2016, Gotenburg, Sweden, June 19-22, 2016. pages 1248-1253, IEEE, 2016. [doi]
Abstract is missing.