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

Easy Links