
Live LTL Progress Tracking: Towards Task-Based Exploration
Researchers propose a tracking vector framework for monitoring agent progress on complex, multi-stage tasks specified in linear temporal logic. The method labels task states as true, false, or open at each step, enabling new performance metrics and exploration strategies for non-Markovian reinforcement learning objectives.52




























