Iterative temporal planning in uncertain environments with partial satisfaction guarantees
This paper introduces a motion-planning framework for a hybrid system with general continuous dynamics to satisfy a temporal logic specification consisting of cosafety and safety components in a partially unknown environment. The framework employs a multilayered synergistic planner to generate traje...
Main Authors: | Lahijanian, M, Maly, MR, Fried, D, Kavraki, LE, Kress-Gazit, H, Vardi, MY |
---|---|
Format: | Journal article |
Published: |
Institute of Electrical and Electronics Engineers
2016
|
Similar Items
-
Synthesis for robots: guarantees and feedback for robot behavior
by: Kress-Gazit, H, et al.
Published: (2018) -
Reactive synthesis for finite tasks under resource constraints
by: He, K, et al.
Published: (2017) -
Learning and Planning for Temporally Extended Tasks in Unknown Environments
by: Bradley, Christopher, et al.
Published: (2022) -
Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees
by: Hasanbeig, M, et al.
Published: (2020) -
Safety guarantees for iterative predictions with Gaussian Processes
by: Polymenakos, K, et al.
Published: (2021)