Akshay Dhonthi, Nicolas Schischka, Ernst Hahn, and Vahid Hashemi. 2024.
 Autonomous Vehicles Path Planning Under Temporal Logic Specifications. In <em>Proceedings of the 27th Brazilian Symposium on Formal Methods</em>, December 04, 2024, Vitória/ES, Brasil. SBC, Porto Alegre, Brasil, 35-45.