Álvaro Torralba
Foundations of Artificial Intelligence (FAI) Group
divider line

   About me    Publications    Activities    Software    Teaching    FAI Group Members

divider line

FastDownward-symbolic

Version of Fast Downward with a library to perform symbolic search.

Mercurial repository (update to branch "symbolic")

h2-based preprocessor

Version of Fast Downward preprocessor with h2 mutex analysis incorporated. Eliminates operators that cannot belong to any plan. This is a joint work with Vidal Alcázar.

Mercurial repository compatible with a recent version of FD

Older version Source code, Mercurial (branch issue541)

Citation: Vidal Alcázar, Álvaro Torralba. A Reminder about the Importance of Computing and Exploiting Invariants in Planning. ICAPS 2015. 2-6

SymBA*

The planner that participated in IPC-2014 with some bugs fixed. Built on top of Fast Downward and released under the GPL license. Two different versions of SymBA* were submitted to IPC-2014. The source code is exactly the same except for the plan script, which selects a different configuration.

Source code of SymBA*-1

Source code of SymBA*-2 (64-bits)

Citation: Álvaro Torralba, Carlos Linares López, Daniel Borrajo: Abstraction Heuristics for Symbolic Bidirectional Search. IJCAI 2016. 3272-3278

Citation (IPC paper): Álvaro Torralba, Vidal Alcázar, Daniel Borrajo, Peter Kissmann and Stefan Edelkamp. 2014. SymBA*: A symbolic bidirectional A* planner. In International Planning Competition, 105–108.

SymPA

The planner that participated in the unsolvability IPC-2016 with some compilation errors fixed. Built on top of Fast Downward and released under the GPL license. Two different versions of SymPA were submitted to the IPC. The source code is exactly the same except for the plan script, which selects a different configuration.

Source code of SymPA

Citation: Álvaro Torralba, SymPA: Symbolic Perimeter Abstractions for Proving Unsolvability, Planner abstract Unsolvability IPC, 2016.

Undoability Checker

Source code of the paper: Practical Undoability Checking via Contingent Planning by J. Daum, A. Torralba, J. Hoffmann, P. Haslum, I. Weber at ICAPS'16

Repository