Login / Signup
Zero-Knowledge Proofs for Classical Planning Problems.
Augusto B. Corrêa
Clemens Büchner
Remo Christen
Published in:
AAAI (2023)
Keyphrases
</>
classical planning
larger problems
probabilistic planning
planning problems
knowledge base
optimization problems
domain independent
sensing actions
genetic algorithm
state space