TY  - RPRT
TI  - Abstractions and sensor design in partial-information, reactive controller synthesis
AU  - Jie Fu
AU  - Rayna Dimitrova
AU  - Ufuk Topcu
PY  - 2014
UR  - https://arxiv.org/abs/1405.1630
ID  - 1405.1630
ER  -