Abstract:
Navigation problems expressed via temporal logics show promise for autonomous robot applications due to their versatility. In this paper, we introduce a method for planni...Show MoreMetadata
Abstract:
Navigation problems expressed via temporal logics show promise for autonomous robot applications due to their versatility. In this paper, we introduce a method for planning with these specifications in uncertain environments that yields guaranteed satisfaction probabilities. We show that point-based value iteration can be combined with probabilistic roadmaps to solve this planning problem over the belief space of the uncertain environment.
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC)
Date of Conference: 11-13 December 2019
Date Added to IEEE Xplore: 12 March 2020
ISBN Information: