TY - RPRT TI - A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics AU - Shromona Ghosh AU - Somil Bansal AU - Alberto Sangiovanni-Vincentelli AU - Sanjit A. Seshia AU - Claire J. Tomlin PY - 2019 DO - 10.1145/3302504.3311795 UR - https://arxiv.org/abs/1902.10320 ID - 1902.10320 ER -