Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations | IEEE Conference Publication | IEEE Xplore