Real-Time Safety Assessment for Dynamic Systems With Limited Memory and Annotations | IEEE Journals & Magazine | IEEE Xplore