Approximate reachability with combined symbolic and ternary simulation | IEEE Conference Publication | IEEE Xplore