Login / Signup
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
Published in:
AAAI (2024)
Keyphrases
</>
temporal logic
model checking
monte carlo tree search
monte carlo
complex systems
reactive systems
modal logic
search algorithm
orders of magnitude
influence diagrams
dynamic constraints
distributed systems
markov chain
np complete
evaluation function