Boutheina Bannour, Julien Niol, Paolo Crisafulli. Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation. In IEEE Intelligent Vehicles Symposium, IV 2021, Nagoya, Japan, July 11-17, 2021. pages 215-222, IEEE, 2021. [doi]
Abstract is missing.