On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees | IEEE Journals & Magazine | IEEE Xplore