Kovács, L., & 		Semeráth, O.
(2021).
 Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles.
In <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems</em>. Porto Alegre: SBC.