TY  - RPRT
TI  - Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)
AU  - Krishnendu Chatterjee
AU  - Vinayak S. Prabhu
PY  - 2011
UR  - https://arxiv.org/abs/1101.5842
ID  - 1101.5842
ER  -