Dynamic interval analysis by abstract interpretation.

Published in: Formal Methods in Outer Space (2021)

Keyphrases

interval analysis
abstract interpretation
autocalibration
termination analysis
constrained optimization
active rules
data analysis
search space
database management systems
constraint propagation
fuzzy set theory