Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search

Tzu-Yi Chiu, Jerome Le Ny, Jean-Pierre David. Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search. Artificial Intelligence, 318:103897, May 2023. [doi]

Abstract

Abstract is missing.