Local Observation Based Reactive Temporal Logic Planning of Human-Robot Systems | IEEE Journals & Magazine | IEEE Xplore