TY  - RPRT
TI  - Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
AU  - Miquel Ramirez
AU  - Anubhav Singh
AU  - Peter Stuckey
AU  - Chris Manzie
PY  - 2024
UR  - https://arxiv.org/abs/2406.09661
ID  - 2406.09661
ER  -