Login / Signup

Implementation of Interval Arithmetic in CORA 2016.

Matthias AlthoffDmitry Grebenyuk
Published in: ARCH@CPSWeek (2016)
Keyphrases
  • interval arithmetic
  • constraint propagation
  • real time
  • learning algorithm
  • three dimensional