Predicate logic reasoning for exploration coordination of multi‐robot systems in structured environments Article in Concurrency and Computation Practice and Experience (May 2020)