Computability of finite-time reachable sets for hybrid systems | IEEE Conference Publication | IEEE Xplore