4 citations · 9 across the 4 of their papers we have counts for
4 papers
Active Perception and Control from PrSTL Specifications
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Next-generation intelligent systems must plan and execute complex tasks with imperfect information about their environment. As a result, plans must also include actions to learn ab…
Formal Connections between Template and Anchor Models via Approximate Simulation
Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing +1
Reduced-order template models like the Linear Inverted Pendulum (LIP) and Spring-Loaded Inverted Pendulum (SLIP) are widely used tools for controlling high-dimensional humanoid rob…
Reactive Integrated Mission and Motion planning
Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
Correct-by-construction manipulation planning in a dynamic environment, where other agents can manipulate objects in the workspace, is a challenging problem. The tight coupling of…
Formal Design of Robot Integrated Task and Motion Planning
Rafael Rodrigues da Silva, Bo Wu, Hai Lin
Integrated Task and Motion Planning (ITMP) for mobile robots in a dynamic environment with moving obstacles is a challenging research question and attracts more and more attentions…