Covers the debugging process for microcontrollers, emphasizing code structuring and signal state verification using tools like logic probes and oscilloscopes.
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.
Covers Solver-Aided Programming, integrating SMT solvers for program verification, synthesis, and debugging, along with challenges in building solver-aided tools.
