research
∙
09/14/2020
Automatic Trajectory Synthesis for Real-Time Temporal Logic
Many safety-critical systems must achieve high-level task specifications...
research
∙
09/20/2019
Formal Connections between Template and Anchor Models via Approximate Simulation
Reduced-order template models like the Linear Inverted Pendulum (LIP) an...
research
∙
03/29/2018
Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
This paper aims to develop formal methods to achieve a performance guara...
research
∙
11/06/2017