Robert Mattila, Yilin Mo, Richard M. Murray. An iterative abstraction algorithm for reactive correct-by-construction controller synthesis. In 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015. pages 6147-6152, IEEE, 2015. [doi]
Abstract is missing.