Travis Rivera Petit

Address

Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland

Room

04.001

Email

travis.riverapetit@unibas.ch

Phone

+41 61 207 05 35

I am pursuing a PhD in the AI group at the University of Basel, where my research focuses on classical planning. Specifically, I am working on bridging heuristic search, symbolic search, and satisfiability planning.

Publications

(Show all abstracts) (Hide all abstracts)

2026

Travis Rivera Petit, Simon Dold, David Speck and Malte Helmert.
Delete Relaxation with Axioms.
In Proceedings of the ICAPS 2026 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2026). 2026.
(Show abstract) (Hide abstract) (PDF) (code, benchmarks, and data) (slides; PDF)

Existing approaches to delete-relaxation heuristics in classical planning with axioms are based on task transformations, three-valued logic, or answer set programming. We introduce three additional, novel methods that follow the task- transformation approach, internally compiling axioms away. We show that existing task-transformation approaches yield unsafe heuristics and conjecture a well-founded bridge to the three-valued logic approach, resulting in a dominance hierarchy over existing and new methods. Experimental evaluations show that our delete-relaxation methods perform favorably in overall coverage compared to the existing approaches, for both optimal planning with hmax and satisficing planning with hff.