Dhonthi, Akshay, 		Schischka, Nicolas, 		Hahn, Ernst, E 		Hashemi, Vahid.
" Autonomous Vehicles Path Planning Under Temporal Logic Specifications" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)