Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations | IEEE Journals & Magazine | IEEE Xplore