3 papers
cs.RO2024
The Trembling-Hand Problem for LTLf Planning
Pian Yu, Shufang Zhu, Giuseppe De Giacomo +2
Consider an agent acting to achieve its temporal goal, but with a "trembling hand". In this case, the agent may mistakenly instruct, with a certain (typically small) probability, a…
cs.RO2023
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications
Pian Yu, Shuyang Dong, Shili Sheng +2
Recent work has considered trust-aware decision making for human-robot collaboration (HRC) with a focus on model learning. In this paper, we are interested in enabling the HRC syst…
cs.RO2023
Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments
Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas
This paper investigates the planning and control problems for multi-robot systems under linear temporal logic (LTL) specifications. In contrast to most of existing literature, whic…