Semi-Algebraic Constant Reset Hybrid Automata - SACoRe | IEEE Conference Publication | IEEE Xplore