TY  - RPRT
TI  - Forward Invariant Cuts to Simplify Proofs of Safety
AU  - Nikos Arechiga
AU  - James Kapinski
AU  - Jyotirmoy Deshmukh
AU  - Andre Platzer
AU  - Bruce Krogh
PY  - 2015
DO  - 10.1109/emsoft.2015.7318278
UR  - https://arxiv.org/abs/1507.05133
ID  - 1507.05133
ER  -