Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.

Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Frnzle

Browse the full SEFM paper archive.