Dhonthi, Akshay, Nicolas Schischka, Ernst Moritz Hahn, and Vahid Hashemi.
" Autonomous Vehicles Path Planning Under Temporal Logic Specifications." <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais,
Vitória/ES, 2024</em>. SBC, 2024,  
pp.35-45.