Symbolic Polytopes for Quantitative Interpolation and Verification.
Klaus von GleissenthallBoris KöpfAndrey RybalchenkoPublished in: CAV (1) (2015)
Keyphrases
- model checking
- quantitative and qualitative
- qualitative and quantitative
- image interpolation
- verification method
- interpolation methods
- linear interpolation
- formal verification
- packing problem
- symbolic data
- formal methods
- face verification
- connectionist systems
- lattice points
- asynchronous circuits
- information retrieval
- temporal logic
- convex hull
- objective function
- website
- knowledge base
- information systems
- genetic algorithm