Atef Azaiez

According to our database, Atef Azaiez authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

Verified Design of Robotic Autonomous Systems Using Probabilistic Model Checking.

Atef Azaiez, David A. Anisi

Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering, 2026

2025

Revisiting Formal Methods for Autonomous Robots: A Structured Survey.

Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck

CoRR, September, 2025

Revisiting Formal Methods for Autonomous Robots: A Structured Survey - (Invited Paper).

Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck

Proceedings of the Towards Autonomous Robotic Systems - 26th Annual Conference, 2025