TC on Verification of Autonomous Systems Online Seminar Series
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 4 March 9:00 EST, 14:00 GMT. The program is as follows:
Tom Freund, "Urban Air Mobility: Verifying trust"
Liren Yang, "Synthesis-guided Adversarial Example Generation for Gray-box
Autonomous Systems with Sensing Imperfections"
We are currently holding a monthly Verification of Autonomous Systems Seminar Series via Zoom on the first Thrusday of the month. If you would like to receive invitations and information about this series, pleasesign up to be a part of our Technical Committee- https://app.smartsheet.com/b/form/ac6cf12aaad34818a315d09574f28a66. Our online seminar series features presentations from TC members at both introductory and advanced levels. If you would like to present, please contact the TC Co-Chairs for more information- https://www.ieee-ras.org/verification-of-autonomous-systems/contact-verification-of-autonomous-systems