VEGA: Decomposition Solver for Graphs of Convex Sets
Parallel decomposition methods and benchmark infrastructure for large graph-of-convex-sets planning relaxations.
•
1 min read
CCosmo: A Custom First-Order Conic Solver
A C++ and CUDA solver family for the structured convex programs that appear in robotics, control, and graph-of-convex-sets relaxations.
•
1 min read
Certifying Trajectories in Seconds
Formally verifying the safety of complicated trajectories at scale.
•
2 min read
Certified Polyhedral Descriptions of Configuration Space
Provably correct descriptions of Configuration Space for collision-free motion planning
•
2 min read
Efficient Linear Algebra
Solving linear systems of equations is a fundamental subroutine in many algorithms. What structures are amenable to solving linear equations even faster.
•
2 min read
Resilient Behavior Through Optimization
Resiliency of control systems and learning algorithms via counter-factual optimization
•
1 min read
Scheduling with Constraints
Guaranteed performance of heuristic strategies for a known, hard problem.
•
1 min read