4 citations · 8 across the 5 of their papers we have counts for
3 papers · 1 filter
Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
Rafael Rodrigues da Silva, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…
SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments
Rafael Rodrigues da Silva, Samuel Silva, Grigoriy Dubrovskiy +1
An autonomous navigation with proven collision avoidance in unknown and dynamic environments is still a challenge, particularly when there are moving obstacles. A popular approach…
Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
Rafael Rodrigues da Silva, Bo Wu, Jin Dai +1
We propose a hierarchical design framework to automatically synthesize coordination schemes and control policies for cooperative multi-agent systems to fulfill formal performance r…