Dhonthi, A., 		Schischka, N., 		Hahn, E., & 		Hashemi, V.
2024 dez  4.  Autonomous Vehicles Path Planning Under Temporal Logic Specifications. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :