NSF-PIRE Workshop on Assured CPS Autonomy for 3D Urban Transportation