Formal methods for modeling, analyzing, and dynamically optimizing road traffic. In: Smart Urban Development - Dezvoltare Urbană Inteligentă [Internet]. Book Series; 2025 [cited 2025 Jun. 20]. pp. 167-70. (Smart Governance). Available from: https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/60