Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar. Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 6261-6268, IEEE, 2019. [doi]
@inproceedings{BaiMSZM19,
title = {Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment},
author = {Yunjun Bai and Kaushik Mallik and Anne-Kathrin Schmuck and Damien Zufferey and Rupak Majumdar},
year = {2019},
doi = {10.1109/CDC40024.2019.9030141},
url = {https://doi.org/10.1109/CDC40024.2019.9030141},
researchr = {https://researchr.org/publication/BaiMSZM19},
cites = {0},
citedby = {0},
pages = {6261-6268},
booktitle = {58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019},
publisher = {IEEE},
}