@misc{indiciae204eaddf7e54,
  title = {Temporal Planning via Interval Logic Satisfiability for Autonomous Systems},
  author = {Miquel Ramirez and Anubhav Singh and Peter Stuckey and Chris Manzie},
  year = {2024},
  url = {https://arxiv.org/abs/2406.09661},
  note = {Source identifier: 2406.09661}
}