R. Bouchekir

According to our database, R. Bouchekir authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

On Safety Assurance of Symbolic Artificial Intelligence.

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

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

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