TC on Verification of Autonomous Systems- Online Seminar Series

On 6 Aug, 2020

 

RAS Technical Committee on Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on  6 August 12:00 EST/EDT17:00 BST

The program is as follows:

 


"Learning Safe Deep Neural Network Controllers for Autonomous Systems"
        Jyotirmoy Vinay Deshmukh
        University of Southern California, USA


  "Trusted Autonomy Theory and Applications"
        John S. Baras,
        University of Maryland, USA

If you wish to attend this seminar please please join the IEEE TC mailing list on our webpage- https://app.smartsheet.com/b/form/ac6cf12aaad34818a315d09574f28a66

 

Easy Links