Temporal Planning via Interval Logic Satisfiability for Autonomous Systems

Miquel Ramirez, Anubhav Singh, Peter Stuckey +1

Many automated planning methods and formulations rely on suitably designed abstractions or simplifications of the constrained dynamics associated with agents to attain computationa…