4 citations · 5 across the 2 of their papers we have counts for
3 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…