activity
20242026
most citedEnabling MCTS Explainability for Sequential Planning Through Computation Tree Logic

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.AI2025

Combining LLMs with Logic-Based Framework to Explain MCTS

Ziyan An, Xia Wang, Hendrik Baier +6

In response to the lack of trust in Artificial Intelligence (AI) for sequential planning, we design a Computational Tree Logic-guided large language model (LLM)-based natural langu…