TY  - RPRT
TI  - Abstraction-Refinement Based Optimal Control with Regular Objectives
AU  - Yoke Peng Leong
AU  - Pavithra Prabhakar
PY  - 2017
UR  - https://arxiv.org/abs/1504.02838
ID  - 1504.02838
ER  -