TC on Verification of Autonomous Systems Online Seminar Series
RAS Technical Committee on Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on October 1st, 09:00 EST/EDT, 14:00 BST. The program is as follows:
Joanna Olszewska, "On V&V of Intelligent Vision Systems"
Charles Lesire-Cabaniols, "Formal methods for verification and control of
software architectures"
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