Álvaro Torralba
6
divider line
   About me    Publications    Research Activities    Software    ConAn    Past Projects    Teaching   DEIS
divider line
  • 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.

  • 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 23rd International Conference on Automated Planning and Scheduling (ICAPS'24), Banff 2024.

  • 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. (PDF)

  • 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)

  • D. Gnad, S. Sievers 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)
       .

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line
  • 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)

    • divider line