Atef Azaiez

According to our database, Atef Azaiez authored at least 1 paper in 2025.

Collaborative distances:

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

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