“Formal Methods for Modeling, Analyzing, and Dynamically Optimizing Road Traffic”. In Smart Urban Development - Dezvoltare Urbană Inteligentă, 167–170. Smart Governance. Book Series, 2025. Accessed June 20, 2025. https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/60.