Álvaro Torralba
|
|
A. Pozanco, A. Torralba and D. Borrajo,
Computing Planning Centroids and Minimum Covering States using Symbolic Bidirectional Search,
Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS'24), Banff 2024. (PDF)
M. Pozo, A. Torralba and C. Linares López,
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning,
Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI'24), Vancouver, Canada, 2024.
R. G. Tollund, N. S. Johansen, K. Nielsen, A. Torralba and K.G. Larsen,
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata,
Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI'24), Vancouver, Canada, 2024.
F. Pham and A. Torralba,
Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning,
Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI'23), Macao, China, 2023. (PDF)
T. Klößner, Á. Torralba , M. Steinmetz, and S. Sievers
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems,
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'23), Prague 2023. (PDF)
J. Eisenhut, A. Torralba, M. Christakis, and J. Hoffmann
Automatic Metamorphic Test Oracles for Action-Policy Testing,
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'23), Prague 2023. (PDF)
S. Sievers, D. Gnad and A. Torralba,
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases,
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'23), Prague 2023. (PDF)
A. Torralba,
Reshaping State-Space Search: From Dominance to Contrastive Analysis,
Invited talk for New Faculty Highlights, Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI'23), Washington 2023. (PDF)
A. Torralba,
SymBD: A Symbolic Bidirectional Search Baseline- Planner Abstract,
International Planning Competition (IPC'23), 2023. (PDF)
A. Torralba, S. Sievers, R. G. Tollund and K. Ø. Nielsen
FTSPlan: Task Reformulation via Merge-and-Shrink- Planner Abstract,
International Planning Competition (IPC'23), 2023. (PDF)
A. Torralba,
QDom-LMCut: Enhancing Search with Quantitative Dominance Pruning- Planner Abstract,
International Planning Competition (IPC'23), 2023. (PDF)
D. Gnad, S. Sievers and A. Torralba,
DecAbStar- Planner Abstract,
International Planning Competition (IPC'23), 2023. (PDF)
D. Gnad, A. Torralba and A. Shleyfman,
DecStar- Planner Abstract,
International Planning Competition (IPC'23), 2023. (PDF)
A. Torralba and D. Gnad,
GOFAI- Planner Abstract,
International Planning Competition. Learning Track (IPC'23), 2023. (PDF)
P. R. Gzubicki, B. P. Lachowicz and A. Torralba,
HUZAR: Predicting Useful Actions with Graph Neural Networks- Planner Abstract,
International Planning Competition. Learning Track (IPC'23), 2023. (PDF)
S. Sievers, D. Gnad and A. Torralba,
Additive Pattern Databases for Decoupled Search,
Proceedings of the 15th Annual Symposium on Combinatorial Search (SOCS'22), Wien 2022. (PDF) (Additional Material)
Note: This work was also presented in the Workshop on HSDIP at ICAPS 2022 with the same title.
Best Paper Award at SoCS'22 .
S. Schmid , B. C. Schrenk and Á. Torralba
NetStack: A Game Approach to Synthesizing Consistent Network Updates,
Proceedings of the 21st IFIP Networking 2022 Conference, Catania, 2022. (PDF)
Note: This work was also presented in the workshop Deception against Planning Systems and Planning in Adversarial Conditions (DAPSPAC) 2022 with the same title.(talk)
D. Fišer, Á. Torralba and J. Hoffmann
Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search,
Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), Virtual Conference, 2022. (PDF)
T. Klößner, M. Steinmetz, Á. Torralba and J. Hoffmann
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning,
Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), Virtual Conference, 2022. (PDF)
D. Gnad, Á. Torralba and D. Fišer,
Beyond Stars - Generalized Topologies for Decoupled Search,
Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), Virtual Conference, 2022. (PDF)
R. Horčík, Á. Torralba, P. Rytíř, L. Chrpa and S. Edelkamp
Optimal Mixed Strategies for Cost-Adversarial Planning Games,
Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), Virtual Conference, 2022. (PDF)
D. Fišer, Á. Torralba, and J. Hoffmann
Operator-Potential Heuristics for Symbolic Search,
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), Virtual Conference, 2022. (PDF)
Note: This work was also presented in HSDIP 2021 under the title Introducing Operator-Potential Heuristics for Symbolic Search, .(HSDIP Version) (talk)
Honorable Mention for AAAI-22 Outstanding Paper Award .
R. Horčík, D. Fišer and Á. Torralba
Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics (PDF)
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), Virtual Conference, 2022.
M. Greco, Á. Torralba, J. A. Baier and H. Palacios
Scaling up ML-based Black-box Planning with Partial STRIPS Models,
Proceedings of the ICAPS'22 Workshop on Reliable Data-Driven Planning and Scheduling at ICAPS 2022. (PDF)
.
N. S. Johansen, L. B. Kær, J. A. B. Stolberg, R. G. Tollund, N. Hyldig, P. Oktober and Á. Torralba
Towards Believable Non-Player Characters with Domain-Independent Planning,
Proceedings of the 2022 Workshop on Scheduling and Planning Applications woRKshop at ICAPS 2022. (PDF) (talk)
.
P. Lauer, A. Torralba, D. Fišer, D. Höller, J. Wichlacz and J. Hoffmann
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning,
Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21), Montreal, Canada, 2021. (PDF)
Note: This work was also presented in HSDIP 2020 with the same title.(HSDIP Version)
A. Torralba, J. Seipp and S. Sievers
Automatic Instance Generation for Classical Planning,
Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS'21), Guangzhou, China, 2021. (PDF)
Note: An earlier version of this work was also presented in HSDIP 2020 under the title "Automatic Configuration of Benchmark Sets for Classical Planning." (HSDIP version) (talk)
T. Klößner, M. Steinmetz, J. Hoffmann and A. Torralba
Pattern Databases for Goal-Probability Maximization in Probabilistic Planning,
Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS'21), Guangzhou, China, 2021. (PDF)
A. Torralba,
On the Optimal Efficiency of A* with Dominance Pruning,
Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), Virtual Conference, 2021. (PDF) (slides) (poster) (talk)
Note: This work was also presented in HSDIP 2020 with the same title. (HSDIP version) (talk)
A. Torralba, P. Speicher, R. Künnemann, M. Steinmetz and J. Hoffmann,
Faster Stackelberg Planning via Symbolic Search and Information Sharing,
Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), Virtual Conference, 2021. (PDF) ( slides) (talk) (code)
A. Köhn, J. Wichlacz, A. Torralba, D. Höller, J. Hoffmann and
A. Koller,
Generating Instructions at Different Levels of Abstraction,
Proceedings of the 28th International Conference on Computational Linguistics (Coling'20). (PDF)
N. Tran, P. Speicher, R. Künnemann, M. Backes, A. Torralba and J. Hoffmann,
Planning in the Browser,
System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20).
(PDF) (Demo Web)
A. Köhn, J. Wichlacz, C. Schäfer, A. Torralba, J. Hoffmann and A. Koller,
MC-Saar-Instruct: A Platform for Minecraft Instruction Giving Agents,
Proceedings of the 21st Annual Meeting of the Special Interest Group on Discourse and Dialogue
(SIGDIAL’20).(PDF)
R.Eifler, M. Steinmetz, A. Torralba and J. Hoffmann,
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties,
Proceedings of the 29th International ,Joint Conference on Artificial Intelligence (IJCAI'20), Yokohama, Japan 2020.(PDF)
J. Wichlacz, D. Höller, A. Torralba and J. Hoffmann,
Applying Monte-Carlo Tree Search in HTN Planning,
Proceedings of the 13th Annual Symposium on Combinatorial Search (SOCS'20), 2020. (PDF)
Note: This work was also presented in the Workshop on HPlan at ICAPS 2020 with the same title.
J. Gross, A. Torralba and M. Fickert,
Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning,
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI'20), New York City, USA 2020.(PDF) ( slides)
A. Torralba and S. Sievers,
Merge-and-Shrink Task Reformulation for Classical Planning,
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), Macao, China 2019.(PDF)
S. Franco and A. Torralba
Interleaving Search and Heuristic Improvement,
Proceedings of the 12th Annual Symposium on Combinatorial Search (SOCS'19), Napa, CA, USA, 2019. (PDF)
D. Speck,
F. Geisser,
R. Mattmueller,
A. Torralba,
Symbolic Planning with Axioms,
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019.(PDF)
M. Steinmetz,
A. Torralba,
Bridging the Gap Between Abstractions and Critical-Path Heuristics via Hypergraphs,
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019. (PDF) (Technical Report)
D. Gnad,
A. Torralba, M. Domínguez
, C. Areces,
F. Bustos,
Learning How to Ground a Plan - Partial Grounding in Classical Planning,
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19),
Honolulu, USA, 2019. (PDF) (code)
D. Fišer,
A. Torralba,
A. Shleyfman,
Operator Mutexes and Symmetries for Simplifying Planning Tasks,
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19),
Honolulu, USA, 2019. (PDF) (Poster)
J. Wichlacz, A. Torralba,
and J. Hoffmann,
Construction-Planning Models in Minecraft,
Proceedings of
the 2nd Workshop on Hierarchical Planning, at ICAPS'19. Berkeley, CA, USA, 2019. (PDF) (models)
D. Gnad,
A. Torralba, M. Domínguez
, C. Areces,
F. Bustos,
IPALAMA - Planner Abstract,
Sparkle Planning Challenge 2019.,
Honolulu, USA, 2019. (PDF)
A. Torralba,
C. Linares López,
D. Borrajo,
Symbolic Perimeter Abstraction Heuristics for Cost-Optimal Planning.
Artificial Intelligence Journal volume 259, pages 1–31, 2018
( PDF) (code)
A. Torralba,
Completeness-Preserving Dominance Techniques for Satisficing Planning,
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Stockholm, Sweden, 2018.
(PDF)
A.Torralba, V. Alcazar, P. Kissmann, S. Edelkamp,
Efficient Symbolic Search for Cost-Optimal Planning.
Artificial Intelligence Journal volume 242, pages 52–79, 2017
(PDF)
A. Torralba,
From Qualitative to Quantitative Dominance Pruning,
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017.
(PDF)(slides)
Note: This work was also presented in HSDIP 2017 with the same title.
(HSDIP version)
S. Franco, A. Torralba, L. Lelis, and M. Barley,
On Creating Complementary Pattern Databases,
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017.(PDF)
D. Gnad,
A. Torralba,
A. Shleyfman,
and
J. Hoffmann,
Symmetry
Breaking in Star-Topology Decoupled Search,
Proceedings of the
27th International Conference on Automated Planning and Scheduling
(ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF)
(Technical Report)
D. Gnad, A. Torralba,
and J. Hoffmann,
Symbolic Leaf Representation in Decoupled Search,
Proceedings of the 10th Annual
Symposium on Combinatorial Search (SOCS'17), Pittsburgh, PA, USA,
2017. (PDF)
(Technical Report)
J. García, A. Torralba, J. E. Flórez, D. Borrajo, C. Linares López and A. García Olaya,
TIMIPLAN: A Tool for Transportation Tasks Autonomic Road Transport Support Systems,
Part of the series Autonomic Systems, Springer, pp. 269-285, May 2016. (PDF)
V. Demberg, J. Hoffmann, D.
Howcroft, D.
Klakow, and A.
Torralba,
Search Challenges in Natural Language Generation with
Complex Optimization Objectives.
Kuenstliche Intelligenz, 2016.
(PDF)
Note: This work was also presented in SPARK 2016 with the same title. SPARK version
M.
Schwenger, A.
Torralba, J. Hoffmann, D.
Howcroft, and
V. Demberg,
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence
Generation.
Proceedings of the 26th International
Conference on Computational Linguistics (Coling'16),
Osaka,
Japan. (PDF)
A. Torralba,
D. Gnad, P. Dubbert,
and
J. Hoffmann,
On State-Dominance Criteria in Fork-Decoupled
Search,
Proceedings of the 25th International Joint Conference
on Artificial Intelligence (IJCAI'16), New York, USA,
2016. (PDF)
(Technical
Report)
Note: This work was also presented in HSDIP 2016 with the same title. HSDIP version
A. Torralba, C. Linares López and
D. Borrajo,
Abstraction Heuristics for Symbolic Bidirectional
Search,
Proceedings of the 25th International Joint Conference
on Artificial Intelligence (IJCAI'16), New York, USA,
2016. (PDF)
(Technical
Report) (code)
J. Daum, A. Torralba,
J. Hoffmann, P. Haslum,
and I. Weber,
Practical
Undoability Checking via Contingent Planning,
Proceedings of
the 26th International Conference on Automated Planning and Scheduling
(ICAPS'16), London, UK, 2016. (PDF) (talk) (code)
Outstanding
student paper award at ICAPS'16.
A. Torralba,
SymPA: Symbolic Perimeter Abstractions for Proving Unsolvability,
Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16.
, London, UK, 2016. (PDF) (code)
A. Torralba, J. Hoffmann and Peter Kissmann,
MS-Unsat and SimulationDominance: Merge-and-Shrink and Dominance Pruning for Proving Unsolvability,,
Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16.
, London, UK, 2016. (PDF) (code)
D. Gnad, A. Torralba, J. Hoffmann and M. Wehrle,
Decoupled Search for Proving Unsolvability,
Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16.
, London, UK, 2016. (PDF)
A. Torralba
and J. Hoffmann,
Simulation-Based Admissible Dominance Pruning,
Proceedings of the 24th International Joint Conference on
Artificial Intelligence (IJCAI'15), Buenos Aires, Argentina,
2015. (PDF)
Note: This work was also presented in HSDIP 2015 with the same title. (PDF HSDIP version) (slides)
A. Torralba
and P. Kissmann,
Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink.
Proceedings of the 8th Annual Symposium on
Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015 (PDF) (slides) (talk)
Best paper award at SoCS 2015.
V. Alcazar
and A. Torralba
A Reminder about the Importance of Computing and Exploiting
Invariants in Planning.
Proceedings of the 25th International
Conference on Automated Planning and Scheduling (ICAPS'15),
Jerusalem, Israel,
2015. (PDF) (slides) ( talk) (code)
S. Edelkamp, P. Kissmann and A. Torralba
BDDs Strike Back (in AI Planning).
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI'15),
Austin, Texas, USA, 2015. (PDF)
PhD Thesis: Symbolic Search and Abstraction Heuristics for Cost-Optimal Planning
Universidad Carlos III de Madrid, 2015
Advisors: Daniel Borrajo Millán and Carlos Linares López
Honorable Mention in ICAPS Best Dissertation Award 2016.
(PDF) (slides) (talk) ( Resume talk at ICAPS'16)
J. Hoffmann, P. Kissmann,
and Á. Torralba
``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to
Detect Unsolvability
Proceedings of the 21st European Conference on Artificial
Intelligence (ECAI'14), Prague, Czech Republic, August
2014. (PDF) (code)
Note: This work was also presented in HSDIP 2014 with the same title. HSDIP version
Á. Torralba, V. Alcazar, D. Borrajo , P. Kissmann and S. Edelkamp
SymBA*: A Symbolic Bidirectional A* Planner
Booklet of the Description of Participating Planners of the 2014 International Planning Competition. , 2014. (PDF) (code)
Á. Torralba, V. Alcazar, P. Kissmann and S. Edelkamp
cGamer: Constrained Gamer
Booklet of the Description of Participating Planners of the 2014 International Planning Competition. , 2014. (PDF)
J. García, J. E. Flórez, A. Torralba, D. Borrajo, C. Linares López and A. García Olaya,
Combining Linear Programming and Automated Planning to Solve Intermodal Transportation Problems.
European Journal of Operational Research volume 227(1), pages 216-226, 2013. (PDF)
A. Torralba and V. Alcazar
Constrained Symbolic Search: On Mutexes, BDD Minimization and More
Proceedings of the 6th Annual Symposium on Combinatorial Search
(SOCS'13)(PDF)
Best paper award at SoCS 2013.
A. Torralba, C. Linares López and
D. Borrajo
Symbolic Merge-and-Shrink for Cost-Optimal Planning
Proceedings of the 23nd International Joint Conference on
Artificial Intelligence (IJCAI'13) (PDF)
A. Torralba, S. Edelkamp, P. Kissmann
Transition Trees for Cost-Optimal Symbolic Planning
Proceedings of the 23d International Conference on Automated
Planning and Scheduling (ICAPS'13) (PDF) (Talk)
S. Edelkamp, P. Kissmann, A. Torralba
Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction
Proceedings of the 20th European Conference on Artificial
Intelligence (ECAI'12)(PDF)
Á. Parra, A. Torralba, C. Linares López
Precomputed-Direction Heuristics for Suboptimal Grid-Based Path-finding
Proceedings of the 5th Annual Symposium on Combinatorial Search
(SOCS'12) (PDF)
S. Edelkamp, P. Kissmann, A. Torralba
Lex-Partitioning: A New Option for BDD Search
First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012 (PDF)
J. E. Flórez, A. Torralba, J. García,
C. Linares López, A. García Olaya,
, D. Borrajo
Planning Multi-Modal Transportation Problems
Proceedings of the 21st International Conference on Automated
Planning and Scheduling (ICAPS'11) (PDF)
A. Torralba, C. Linares López
Size-Independent Additive Pattern Databases for the Pancake Problem
Proceedings of the 4th Annual Symposium on Combinatorial Search
(SOCS'11) (PDF)
