A. Dhonthi, N. Schischka, E. Hahn, and V. Hashemi.
" Autonomous Vehicles Path Planning Under Temporal Logic Specifications", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 35-45.