IEEE P2817™ Verification Of Autonomous Systems
This Guide for Verification of Autonomous Systems enables the user to define a customized process for verification of their autonomous system based on their available resources. It documents best practices across all levels of abstraction within a given system. It describes a conceptual model that assists in the development of new verification processes for autonomous systems and provides both integration guidance for developing a verification process and techniques, methodologies, and tool types supporting verification process development.
RAS is a volunteer driven society with over 13,000 members worldwide.
Students are future of robotics and automation.
IEEE International Conference on Automation Science and Engineering
IEEE/RSJ International Conference on Intelligent Robots and Systems
IEEE International conference on Robotics and Automation