Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation

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]

Authors

Boutheina Bannour

This author has not been identified. Look up 'Boutheina Bannour' in Google

Julien Niol

This author has not been identified. Look up 'Julien Niol' in Google

Paolo Crisafulli

This author has not been identified. Look up 'Paolo Crisafulli' in Google