“…Their reliability and increasing performance make them applicable to various expert system domains, such as robotics design and kinematics (Merlet, 2011), dynamic systems in robust control and autonomous robot localization (Kieffer, Jaulin, Walter, & Meizel, 2000), and proofs of conjectures (Sandretto, Trombettoni, & Daney, 2013;Tucker, 2002). Three main features distinguish this approach from others: their reliability, i.e., their robustness w.r.t.…”