Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints