2 citations · 2 across the 3 of their papers we have counts for
3 papers
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
Miquel Ramirez, Anubhav Singh, Peter Stuckey +1
Many automated planning methods and formulations rely on suitably designed abstractions or simplifications of the constrained dynamics associated with agents to attain computationa…
Lifted Sequential Planning with Lazy Constraint Generation Solvers
Anubhav Singh, Miquel Ramirez, Nir Lipovetzky +1
This paper studies the possibilities made open by the use of Lazy Clause Generation (LCG) based approaches to Constraint Programming (CP) for tackling sequential classical planning…
Sampling from Pre-Images to Learn Heuristic Functions for Classical Planning
Stefan O'Toole, Miquel Ramirez, Nir Lipovetzky +1
We introduce a new algorithm, Regression based Supervised Learning (RSL), for learning per instance Neural Network (NN) defined heuristic functions for classical planning problems.…