Multi-robot LTL planning under uncertainty