Dhonthi, Akshay, 		Schischka, Nicolas, 		Hahn, Ernst, AND 		Hashemi, Vahid.
" Autonomous Vehicles Path Planning Under Temporal Logic Specifications" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (4 December 2024)