-
1
Abstraction-Based Planning for Uncertainty-Aware Legged Navigation
Published 2023-01-01“…Through a product IMDP construction combining the IMDP-BL of the bipedal robot and a Deterministic Rabin Automaton (DRA) of the specifications, we synthesize control policies which allow the robot to safely traverse the environment, iteratively learning the unknown dynamics until the specifications can be satisfied with satisfactory probability. …”
Get full text
Article