TY  - RPRT
TI  - Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
AU  - Ziyan An
AU  - Hendrik Baier
AU  - Abhishek Dubey
AU  - Ayan Mukhopadhyay
AU  - Meiyi Ma
PY  - 2024
UR  - https://arxiv.org/abs/2407.10820
ID  - 2407.10820
ER  -