Multi-agent persistent monitoring in stochastic environments with temporal logic constraints | IEEE Conference Publication | IEEE Xplore