default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDÁlvaro Torralba
Person information
- affiliation: Aalborg University, Department of Computer Science, Denmark
- affiliation (former): Saarland University, Saarland Informatics Campus, Saarbrücken, Germany
- affiliation (former): Charles III University of Madrid, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c56]Martín Pozo, Álvaro Torralba
, Carlos Linares López:
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning. AAAI 2024: 20238-20246- [c55]Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers:
Merge-and-Shrink Heuristics for SSPs with Prune Transformations. ECAI 2024: 1222-1229 - [c54]Martín Pozo, Álvaro Torralba, Carlos Linares López:
Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning. ECAI 2024: 4287-4294 - [c53]Alberto Pozanco, Álvaro Torralba, Daniel Borrajo:
Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search. ICAPS 2024: 455-463 - [c52]Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen:
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS 2024: 588-596 - [d2]Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ødum Knorborg, Kim Guldstrand Larsen, Álvaro Torralba:
Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata". Zenodo, 2024
- 2023
- [c51]Álvaro Torralba:
Reshaping State-Space Search: From Dominance to Contrastive Analysis. AAAI 2023: 15457 - [c50]Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann:
Automatic Metamorphic Test Oracles for Action-Policy Testing. ICAPS 2023: 109-117 - [c49]Daniel Gnad, Silvan Sievers, Álvaro Torralba:
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. ICAPS 2023: 138-147 - [c48]Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers:
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. ICAPS 2023: 203-211 - [c47]Florian Pham, Álvaro Torralba:
Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning. IJCAI 2023: 5420-5428 - 2022
- [c46]Daniel Fiser, Álvaro Torralba, Jörg Hoffmann:
Operator-Potential Heuristics for Symbolic Search. AAAI 2022: 9750-9757 - [c45]Rostislav Horcík, Daniel Fiser, Álvaro Torralba:
Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. AAAI 2022: 9767-9775 - [c44]Daniel Fiser, Álvaro Torralba, Jörg Hoffmann:
Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search. ICAPS 2022: 80-89 - [c43]Daniel Gnad, Álvaro Torralba, Daniel Fiser:
Beyond Stars - Generalized Topologies for Decoupled Search. ICAPS 2022: 110-118 - [c42]Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp:
Optimal Mixed Strategies for Cost-Adversarial Planning Games. ICAPS 2022: 160-168 - [c41]Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann:
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. ICAPS 2022: 184-192 - [c40]Stefan Schmid, Bernhard Clemens Schrenk, Álvaro Torralba:
NetStack: A Game Approach to Synthesizing Consistent Network Updates. IFIP Networking 2022: 1-9 - [c39]Silvan Sievers, Daniel Gnad, Álvaro Torralba:
Additive Pattern Databases for Decoupled Search. SOCS 2022: 180-189 - [d1]Jendrik Seipp, Álvaro Torralba, Jörg Hoffmann:
PDDL Generators. Zenodo, 2022 - [i2]Matias Greco, Álvaro Torralba, Jorge A. Baier, Héctor Palacios:
Scaling up ML-based Black-box Planning with Partial STRIPS Models. CoRR abs/2207.04479 (2022) - 2021
- [c38]Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann:
Faster Stackelberg Planning via Symbolic Search and Information Sharing. AAAI 2021: 11998-12006 - [c37]Álvaro Torralba:
On the Optimal Efficiency of A* with Dominance Pruning. AAAI 2021: 12007-12014 - [c36]Thorsten Klößner, Jörg Hoffmann, Marcel Steinmetz, Álvaro Torralba:
Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. ICAPS 2021: 201-209 - [c35]Álvaro Torralba, Jendrik Seipp, Silvan Sievers:
Automatic Instance Generation for Classical Planning. ICAPS 2021: 376-384 - [c34]Pascal Lauer, Álvaro Torralba, Daniel Fiser, Daniel Höller, Julia Wichlacz, Jörg Hoffmann:
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. IJCAI 2021: 4119-4126 - 2020
- [c33]Joschka Gross, Álvaro Torralba, Maximilian Fickert:
Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning. AAAI 2020: 9875-9882 - [c32]Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller:
Generating Instructions at Different Levels of Abstraction. COLING 2020: 2802-2813 - [c31]Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann:
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. IJCAI 2020: 4091-4097 - [c30]Arne Köhn, Julia Wichlacz, Christine Schäfer, Álvaro Torralba, Jörg Hoffmann, Alexander Koller:
MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. SIGdial 2020: 53-56 - [c29]Julia Wichlacz, Daniel Höller, Álvaro Torralba, Jörg Hoffmann:
Applying Monte-Carlo Tree Search in HTN Planning. SOCS 2020: 82-90 - [i1]Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller:
Generating Instructions at Different Levels of Abstraction. CoRR abs/2010.03982 (2020)
2010 – 2019
- 2019
- [c28]Daniel Fiser, Álvaro Torralba, Alexander Shleyfman:
Operator Mutexes and Symmetries for Simplifying Planning Tasks. AAAI 2019: 7586-7593 - [c27]Daniel Gnad, Álvaro Torralba, Martín Ariel Domínguez, Carlos Areces, Facundo Bustos:
Learning How to Ground a Plan - Partial Grounding in Classical Planning. AAAI 2019: 7602-7609 - [c26]David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba:
Symbolic Planning with Axioms. ICAPS 2019: 464-472 - [c25]Marcel Steinmetz, Álvaro Torralba:
Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs. ICAPS 2019: 473-481 - [c24]Álvaro Torralba, Silvan Sievers:
Merge-and-Shrink Task Reformulation for Classical Planning. IJCAI 2019: 5644-5652 - [c23]Santiago Franco, Álvaro Torralba:
Interleaving Search and Heuristic Improvement. SOCS 2019: 130-134 - 2018
- [j4]Álvaro Torralba, Carlos Linares López, Daniel Borrajo:
Symbolic perimeter abstraction heuristics for cost-optimal planning. Artif. Intell. 259: 1-31 (2018) - [c22]Álvaro Torralba:
Completeness-Preserving Dominance Techniques for Satisficing Planning. IJCAI 2018: 4844-4851 - 2017
- [j3]Álvaro Torralba, Vidal Alcázar, Peter Kissmann, Stefan Edelkamp:
Efficient symbolic search for cost-optimal planning. Artif. Intell. 242: 52-79 (2017) - [c21]Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann:
Symmetry Breaking in Star-Topology Decoupled Search. ICAPS 2017: 125-134 - [c20]Santiago Franco, Álvaro Torralba, Levi H. S. Lelis, Mike Barley:
On Creating Complementary Pattern Databases. IJCAI 2017: 4302-4309 - [c19]Álvaro Torralba:
From Qualitative to Quantitative Dominance Pruning for Optimal Planning. IJCAI 2017: 4426-4432 - [c18]Daniel Gnad, Álvaro Torralba, Jörg Hoffmann:
Symbolic Leaf Representation in Decoupled Search. SOCS 2017: 124-128 - 2016
- [j2]Vera Demberg, Jörg Hoffmann, David M. Howcroft, Dietrich Klakow, Álvaro Torralba:
Search Challenges in Natural Language Generation with Complex Optimization Objectives. Künstliche Intell. 30(1): 63-69 (2016) - [c17]Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber:
Practical Undoability Checking via Contingent Planning. ICAPS 2016: 106-114 - [c16]Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg:
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. COLING 2016: 1524-1534 - [c15]Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann:
On State-Dominance Criteria in Fork-Decoupled Search. IJCAI 2016: 3265-3271 - [c14]Álvaro Torralba, Carlos Linares López, Daniel Borrajo:
Abstraction Heuristics for Symbolic Bidirectional Search. IJCAI 2016: 3272-3278 - [p1]Javier García, Álvaro Torralba, José E. Flórez, Daniel Borrajo, Carlos Linares López, Ángel García Olaya:
TIMIPLAN: A Tool for Transportation Tasks. Autonomic Road Transport Support Systems 2016: 269-285 - 2015
- [c13]Stefan Edelkamp, Peter Kissmann, Álvaro Torralba:
BDDs Strike Back (in AI Planning). AAAI 2015: 4320-4321 - [c12]Vidal Alcázar, Álvaro Torralba:
A Reminder about the Importance of Computing and Exploiting Invariants in Planning. ICAPS 2015: 2-6 - [c11]Álvaro Torralba, Jörg Hoffmann:
Simulation-Based Admissible Dominance Pruning. IJCAI 2015: 1689-1695 - [c10]Álvaro Torralba, Peter Kissmann:
Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink. SOCS 2015: 122-130 - 2014
- [c9]Jörg Hoffmann, Peter Kissmann, Álvaro Torralba:
"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. ECAI 2014: 441-446 - 2013
- [j1]Javier García, José E. Flórez, Álvaro Torralba Arias de Reyna, Daniel Borrajo, Carlos Linares López, Angel García Olaya, Juan Sáenz:
Combining linear programming and automated planning to solve intermodal transportation problems. Eur. J. Oper. Res. 227(1): 216-226 (2013) - [c8]Álvaro Torralba, Stefan Edelkamp, Peter Kissmann:
Transition Trees for Cost-Optimal Symbolic Planning. ICAPS 2013 - [c7]Álvaro Torralba Arias de Reyna, Carlos Linares López, Daniel Borrajo:
Symbolic Merge-and-Shrink for Cost-Optimal Planning. IJCAI 2013: 2394-2400 - [c6]Álvaro Torralba, Vidal Alcázar:
Constrained Symbolic Search: On Mutexes, BDD Minimization and More. SOCS 2013: 175-183 - 2012
- [c5]Stefan Edelkamp, Peter Kissmann, Álvaro Torralba:
Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction. ECAI 2012: 306-311 - [c4]Álvaro Parra, Álvaro Torralba Arias de Reyna, Carlos Linares López:
Precomputed-Direction Heuristics for Suboptimal Grid-Based Path-finding. SOCS 2012: 211-212 - [c3]Stefan Edelkamp, Peter Kissmann, Álvaro Torralba:
Lex-Partitioning: A New Option for BDD Search. GRAPHITE 2012: 66-82 - 2011
- [c2]José E. Flórez, Álvaro Torralba Arias de Reyna, Javier García, Carlos Linares López, Angel García Olaya, Daniel Borrajo:
Planning Multi-Modal Transportation Problems. ICAPS 2011 - [c1]Álvaro Torralba Arias de Reyna, Carlos Linares López:
Size-Independent Additive Pattern Databases for the Pancake Problem. SOCS 2011: 164-171
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 21:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
