Verification of Autonomous Systems TC upcoming online seminar- 1 April 2021The IEEE Technical Committee on the Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on 1 April 2021, 9:00 EDT, 13:00 GMT. The program is as follows:
Aurora Schmidt & Marin Kobilarov, "Verified Assured Learning for Unmanned Embedded Systems (VALUES)"
Ali Narenji Sheshkalani, "Verification of visibility-based properties on multiple moving robots in an environment with obstacles"
If you wish to attend this seminar please join the IEEE TC mailing list on our webpage- https://www.ieee-ras.org/verification-of-autonomous-systems
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