Kovács, László, and Oszkár Semeráth.
" Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles." <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems,
Florianópolis, 2021</em>. SBC, 2021,  
sem paginação.