Multi-robot LTL planning under uncertainty
scientific article; zbMATH DE number 7343224