TY  - RPRT
TI  - Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations
AU  - Jie Fu
AU  - Ufuk Topcu
PY  - 2014
UR  - https://arxiv.org/abs/1410.0083
ID  - 1410.0083
ER  -