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 EDT13: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-