Interpolant-Based Transition Relation Approximation.
Ranjit JhalaKenneth L. McMillanPublished in: CAV (2005)
Keyphrases
- machine learning
- approximation error
- closed form
- special case
- queueing networks
- relative error
- upper approximation
- computer vision
- clustering algorithm
- case study
- data structure
- relational databases
- artificial intelligence
- genetic algorithm
- approximation algorithms
- real time
- continuous functions
- approximation schemes