Hierarchical task allocation for multi-agent systems encoded by stochastic reachability specifications | IEEE Conference Publication | IEEE Xplore