@misc{indiciaee72e265b0b42,
  title = {Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic},
  author = {Ziyan An and Hendrik Baier and Abhishek Dubey and Ayan Mukhopadhyay and Meiyi Ma},
  year = {2024},
  url = {https://arxiv.org/abs/2407.10820},
  note = {Source identifier: 2407.10820}
}