Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments | IEEE Conference Publication | IEEE Xplore