Elisei Macoveiciuc

According to our database¹, Elisei Macoveiciuc authored at least 3 papers between 2019 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2023

2022

ABS: A formally correct software tool for space-efficient symbolic synthesis.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2019

Memory efficient symbolic solution of quantitative reach-avoid problems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019