Sharing information on extended reachability goals over propositionally constrained multi-agent state spaces | IEEE Conference Publication | IEEE Xplore