Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.

Martin Berz, Kyoko Makino

Browse the full CAV paper archive.