Hybrid Acceleration Using Real Vector Automata (Extended Abstract).

Bernard Boigelot, Frdric Herbreteau, Sbastien Jodogne

Browse the full CAV paper archive.