Login / Signup

A Formally Verified Validator for Classical Planning Problems and Solutions.

Mohammad AbdulazizPeter 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