On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees

DOI10.1109/tac.2022.3188483OpenAlexW4285295288MaRDI QIDQ6053310

Unnamed Author, Gunther Reißig

Publication date: 26 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2022.3188483

zbMATH Keywords

computational methodssafety problemformal verification/synthesisreach-avoid problem

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

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

This page was built for publication: On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees