Cited By
View all- Macoveiciuc EReissig G(2023)On-the-Fly Symbolic Synthesis With Memory Reduction GuaranteesIEEE Transactions on Automatic Control10.1109/TAC.2022.318848368:4(2576-2583)Online publication date: Apr-2023
- Macoveiciuc EReissig G(2020)Guaranteed memory reduction in synthesis of correct-by-design invariance controllersIFAC-PapersOnLine10.1016/j.ifacol.2020.12.156753:2(5561-5566)Online publication date: 2020