| emsoft | participants

Bruce H. Krogh

EMSOFT 2015: 15th International Conference on Embedded Software

Forward Invariant Cuts to Simplify Proofs of Safety

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, and Bruce H. Krogh