18 citations · 18 across the 3 of their papers we have counts for
3 papers
Trust-based Symbolic Motion Planning for Multi-robot Bounding Overwatch
Huanfei Zheng, Jonathon M. Smereka, Dariusz Mikulski +2
Multi-robot bounding overwatch requires timely coordination of robot team members. Symbolic motion planning (SMP) can provide provably correct solutions for robot motion planning w…
Improving Redundancy Availability: Dynamic Subtasks Modulation for Robots with Redundancy Insufficiency
Lu Chen, Lipeng Chen, Xiangchi Chen +4
This work presents an approach for robots to suitably carry out complex applications characterized by the presence of multiple additional constraints or subtasks (e.g. obstacle and…
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
Planning robust executions under uncertainty is a fundamental challenge for building autonomous robots. Partially Observable Markov Decision Processes (POMDPs) provide a standard f…