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]
Abstract is missing.