Call for Papers

The International Conference on AI-enabled Robotics and Software Verification is dedicated to advancing research excellence by bringing together leading scholars, scientists, and professionals from across the globe. It provides a platform for the dissemination of high-quality research and innovative methodologies.

With a strong focus on Artificial Intelligence, Robotics, Software Engineering, the conference promotes research that contributes to academic depth, practical insights, and interdisciplinary knowledge integration.

Authors are invited to submit papers addressing, but not limited to, the following areas:

01
Verification Techniques For Ai Robotics Software
02
Formal Methods In Robotics Verification
03
Testing Frameworks For Autonomous Systems
04
Safety Verification In Ai-enabled Robotics
05
Model Checking For Robotic Software
06
Runtime Verification Of Robotic Systems
07
Ai In Software Validation Processes
08
Automated Testing For Robotics Applications
09
Robustness Testing In Ai Robotics
10
Verification Challenges In Collaborative Robots
11
Ethics In Software Verification Practices
12
Case Studies In Robotics Software Verification
13
Ai-driven Tools For Software Testing
14
Performance Verification In Robotic Systems
15
Verification Of Real-time Robotic Software
16
User-centered Verification Methodologies
17
Open-source Verification Tools For Robotics
18
Future Trends In Robotics Software Verification
19
Integration Of Ai In Verification Processes
20
Verification Of Safety-critical Robotic Applications
πŸ‘‰
Registration

Secure your participation by completing the registration process at the earliest. Limited presentation slots are allocated on a first-come, first-served basis.

Register Early & Reserve Your Slot
πŸ“„
Publication

High-quality submissions will be prioritized for publication opportunities in recognized journals and indexed proceedings.

Submit Your Paper Today

Universities Represented by Our Esteemed Researchers

Sponsored & Indexed By