Conference
Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor
Differentiable Logic Layer for Rule Guided Trajectory Prediction
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot
Automata-based Optimal Planning with Relaxed Specifications
A Control Architecture for Provably-Correct Autonomous Driving
Pages
