Temporal Planning via Interval Logic Satisfiability for Autonomous Systems