Covers Solver-Aided Programming, integrating SMT solvers for program verification, synthesis, and debugging, along with challenges in building solver-aided tools.
By David Millard explores parameter estimation for deformable objects in robotic manipulation tasks, focusing on the challenges and solutions in dealing with complex dynamics and using finite element techniques.
