Science Robotics·23 SepAI-driven actuation-compatible tracking for closed-loop navigation of miniature robots in vivoExperiments in animalsInterventionsPaper