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