The 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
