RAS TC on Verification of Autonomous Systems Online Seminar
From
6 Aug, 2020 14:47
until
6 Aug, 2020
Verification of Autonomous Systems Seminar Series
August 6, 2020, 12:00 noon EDT
John S. Baras, "Trusted Autonomy Theory and Applications"
Jim Kapinski, “Application of lightweight verification methods to delivery devices”
For more information sign up to become a member of the TC or contact the Co-chairs.