International Conference on AI-enabled Robotics and Software Verification | Academic World Research | Academic World Research