Synthesis of surveillance strategies via belief abstraction

Re-assign community