Real-Time Reachability for Verified Simplex Design.

Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha

Browse the full RTSS paper archive.