Memory efficient symbolic solution of quantitative reach-avoid problems. - Elisei Macoveiciuc; Gunther Reissig (ACC, 2019)

ABS: A formally correct software tool for space-efficient symbolic synthesis. - Alexander Weber 004; Elisei Macoveiciuc; Gunther Reissig (HSCC, 2022)

On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees. - Elisei Macoveiciuc; Gunther Reissig (IEEE Trans. Autom. Control., 2023)