Login / Signup
A Counterexample-guided Approach to Finding Numerical Invariants.
ThanhVu Nguyen
Timos Antonopoulos
Andrew Ruef
Michael Hicks
Published in:
CoRR (2019)
Keyphrases
</>
real world
model checking
sensitivity analysis
affine invariant
database
databases
computer vision
information systems
case study
feature space
expert systems
numerical data