Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic.

Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma

Browse the full ECAI paper archive.