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 Thursday of each month. If you would like to receive invitations and information about this series, please SIGN UP to be a part of our Technical Committee.
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.