Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search

DOI10.1016/j.artint.2023.103897MaRDI QIDQ6161477

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

Publication date: 27 June 2023

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Monte Carlo tree searchanchorsblack-box modelssignal temporal logicinterpretable machine learning

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• Reluplex: an efficient SMT solver for verifying deep neural networks
• A Decision Tree Approach to Data Classification using Signal Temporal Logic
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Bandit Algorithms
• Temporal Logics for Learning and Detection of Anomalous Behavior
• Probabilistic Inductive Logic Programming
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Finite-time analysis of the multiarmed bandit problem

This page was built for publication: Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search