TY - RPRT TI - Dynamic Assurance of Autonomous Systems through Ground Control Software∗ AU - Irfan Sljivo AU - Ivan Perez AU - Anastasia Mavridou UR - https://ntrs.nasa.gov/citations/20230008541 ID - 20230008541 ER -