Forward invariant cuts to simplify proofs of safety.
Nikos AréchigaJames KapinskiJyotirmoy V. DeshmukhAndré PlatzerBruce H. KroghPublished in: EMSOFT (2015)
Keyphrases
- theorem proving
- affine invariant
- bi directional
- affine transformation
- invariant features
- noise resistant
- theorem prover
- forward and backward
- invariant properties
- mathematical proofs
- artificial intelligence
- formal proof
- invariant representations
- nuclear power plant
- linear programming
- multiscale
- information systems
- computer vision