Login / Signup

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic.

Ziyan AnHendrik BaierAbhishek DubeyAyan MukhopadhyayMeiyi Ma
Published in: CoRR (2024)
Keyphrases
  • computation tree logic
  • temporal logic
  • model checking
  • bounded model checking
  • heuristic search
  • ai planning
  • planning problems
  • symbolic model checking