Forward invariant cuts to simplify proofs of safety.

Nikos Archiga, James Kapinski, Jyotirmoy V. Deshmukh, Andr Platzer, Bruce H. Krogh

Browse the full EMSOFT paper archive.