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

Published in: IV (2021)

Keyphrases