Kovács, L., & 		Semeráth, O.
2021 Nov 22.  Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles. Proceedings of the Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :