TY  - RPRT
TI  - An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
AU  - Robert Mattila
AU  - Yilin Mo
AU  - Richard M. Murray
PY  - 2015
DO  - 10.1109/cdc.2015.7403186
UR  - https://arxiv.org/abs/1509.04125
ID  - 1509.04125
ER  -