Dhonthi, A., 		Schischka, N., 		Hahn, E., & 		Hashemi, V.
(2024).
 Autonomous Vehicles Path Planning Under Temporal Logic Specifications.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 35-45). Porto Alegre: SBC.