Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving

摘要

When trying to solve quantified constraints (i.e., first-order formulas over the real numbers) exactly, one faces the following problems: First, constants coming from measurements are often only approximately given. Second, solving such constraints is in