R. Bouchekir

According to our database, R. Bouchekir authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Formal Verification for Safe AI-based Flight Planning for UAVs^*.

R. Bouchekir, M. Guzman, A. Cook, J. Haindl, R. Woolnough

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023