Login / Signup
A Formally Verified Validator for Classical Planning Problems and Solutions.
Mohammad Abdulaziz
Peter Lammich
Published in:
ICTAI (2018)
Keyphrases
</>
classical planning
larger problems
probabilistic planning
domain independent
machine learning
planning problems
web services
orders of magnitude
decision problems
approximate solutions
conformant planning