Login / Signup
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis.
Gaëtan Douéneau-Tabot
Sophie Pinchinat
François Schwarzentruber
Published in:
Advances in Modal Logic (2018)
Keyphrases
</>
tree automata
decision trees
planning problems
semi automatic
monadic second order logic
mechanical devices
heuristic search