MAPmAKER: Performing multi-robot LTL planning under uncertainty