Bernd Finkbeiner Assured Autonomy Session Presentation Submitted by Anonymous on Wed, 06/16/2021 - 12:42 NSF-PIRE Workshop on Assured CPS Autonomy for 3D Urban Transportation Science Policy 2021