Kovács, László, E 		Semeráth, Oszkár.
" Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles" <em>Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS)</em> [Online], (22 novembro 2021)