Formal Analysis of Vehicular Crash Severity Using KeYmaera X. - Oumaima Barhoumi; Mohamed H. Zaki; Sofiène Tahar (SCSS, 2024)

Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections. - Oumaima Barhoumi; Mohamed H. Zaki; Sofiène Tahar (SysCon, 2025)