Nikos Arechiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh. Forward invariant cuts to simplify proofs of safety. In 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015. pages 227-236, IEEE, 2015. [doi]
Abstract is missing.