Temporal Logic Explanations for Dynamic Decision Systems Using Anchors and Monte Carlo Tree Search (Abstract Reprint).

Tzu-Yi Chiu, Jerome Le Ny, Jean-Pierre David

Browse the full AAAI paper archive.