Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications | IEEE Conference Publication | IEEE Xplore