Verification of Autonomous Systems TC upcoming online seminar- 1 April 2021

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- https://www.ieee-ras.org/verification-of-autonomous-systems

 

 

Easy Links