Range Arithmetics to Speed up Reachability Analysis of Analog Systems.

Darius Grabowski, Markus Olbrich, Christoph Grimm, Erich Barke

Browse the full FDL paper archive.