An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment. - Alexander Will; Aidan G. Collins; Robert Grizzard; Smitha Gautham; Patrick Martin 003; Evan Dill; Carl R. Elks (DSN-S, 2023)