@misc{indiciae9da6b87f6027,
  title = {Formal Semantics and Formally Verified Validation for Temporal Planning},
  author = {Mohammad Abdulaziz and Lukas Koller},
  year = {2022},
  url = {https://arxiv.org/abs/2203.13604},
  note = {Source identifier: 2203.13604}
}