Dhonthi, A., 		Schischka, N., 		Hahn, E., & 		Hashemi, V.
2024 Dec  4.  Autonomous Vehicles Path Planning Under Temporal Logic Specifications. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :