SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.

Andreas Eggers, Martin Frnzle, Christian Herde

Browse the full ATVA paper archive.