Temporal Planning via Interval Logic Satisfiability for Autonomous Systems | Read Paper on Bytez