Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

Re-assign community