Oumaima Barhoumi

According to our database, Oumaima Barhoumi authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections.

Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the IEEE International systems Conference, 2025

2024

Formal Analysis of Vehicular Crash Severity Using KeYmaera X.

Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Symbolic Computation in Software Science - 10th International Symposium, 2024