Call For Papers
The ICAERSV aims to explore emerging trends and future directions in research and innovation. It provides a collaborative platform for researchers and professionals to share ideas that shape the future of their respective domains.
The conference highlights advancements in Artificial Intelligence, Robotics, Software Engineering, encouraging innovative, solution-oriented research that addresses global challenges and technological evolution.
Authors are invited to submit papers addressing, but not limited to, the following areas:
- Verification techniques for AI robotics software
- Formal methods in robotics verification
- Testing frameworks for autonomous systems
- Safety verification in AI-enabled robotics
- Model checking for robotic software
- Runtime verification of robotic systems
- AI in software validation processes
- Automated testing for robotics applications
- Robustness testing in AI robotics
- Verification challenges in collaborative robots
- Ethics in software verification practices
- Case studies in robotics software verification
- AI-driven tools for software testing
- Performance verification in robotic systems
- Verification of real-time robotic software
- User-centered verification methodologies
- Open-source verification tools for robotics
- Future trends in robotics software verification
- Integration of AI in verification processes
- Verification of safety-critical robotic applications
Assessment
Submissions will be assessed for originality, innovation, and relevance. Accepted papers will be presented at the conference and considered for publication opportunities in reputed academic platforms.
Registration
Participants are requested to complete the registration process following acceptance of their paper. Registration ensures inclusion in the conference schedule and official records.
Publication
All accepted manuscripts will be eligible for publication consideration in conference proceedings and associated academic journals.