Login / Signup
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search.
Tzu-Yi Chiu
Jerome Le Ny
Jean-Pierre David
Published in:
Artif. Intell. (2023)
Keyphrases
</>
temporal logic
model checking
monte carlo tree search
monte carlo
dynamic constraints
modal logic
reactive systems
evaluation function
formal methods
verification method
linear temporal logic
computation tree logic