Álvaro Torralba

64 papers A* 40A 5B 10Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Dominance Pruning and Heuristics in Optimal Adversarial Non-Deterministic Planning. AAAI Rasmus G. Tollund, Álvaro Torralba
2026	A*	`conf`	Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning. AAAI Martín Pozo, Álvaro Torralba, Carlos Linares López
2025	A	`conf`	Conditional Dominance Analysis for Classical Planning. ECAI Anna Wilhelm, Álvaro Torralba
2025	J	`jnl`	Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions. J. Artif. Intell. Res. David Speck, Jendrik Seipp, Álvaro Torralba
2025	A*	`conf`	What Makes You Special? Contrastive Heuristics Based on Qualified Dominance. IJCAI Rasmus G. Tollund, Kim G. Larsen, Álvaro Torralba
2024	J	`jnl`	Boosting optimal symbolic planning: Operator-potential heuristics. Artif. Intell. Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
2024	A*	`conf`	Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search. ICAPS Alberto Pozanco, Álvaro Torralba, Daniel Borrajo
2024	A	`conf`	Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning. ECAI Martín Pozo, Álvaro Torralba, Carlos Linares López
2024	A	`conf`	Merge-and-Shrink Heuristics for SSPs with Prune Transformations. ECAI Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
2024	A*	`conf`	Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen
2024	A*	`conf`	When CEGAR Meets Regression: A Love Story in Optimal Classical Planning. AAAI Martín Pozo, Álvaro Torralba, Carlos Linares López
2023	A*	`conf`	A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. ICAPS Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
2023	A*	`conf`	Automatic Metamorphic Test Oracles for Action-Policy Testing. ICAPS Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann
2023	A*	`conf`	Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning. IJCAI Florian Pham, Álvaro Torralba
2023	A*	`conf`	Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. ICAPS Daniel Gnad, Silvan Sievers, Álvaro Torralba
2023	A*	`conf`	Reshaping State-Space Search: From Dominance to Contrastive Analysis. AAAI Álvaro Torralba
2022	B	`conf`	Additive Pattern Databases for Decoupled Search. SOCS Silvan Sievers, Daniel Gnad, Álvaro Torralba
2022	A*	`conf`	Beyond Stars - Generalized Topologies for Decoupled Search. ICAPS Daniel Gnad, Álvaro Torralba, Daniel Fiser
2022	A*	`conf`	Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. AAAI Rostislav Horcík, Daniel Fiser, Álvaro Torralba
2022	B	`conf`	NetStack: A Game Approach to Synthesizing Consistent Network Updates. IFIP Networking Stefan Schmid, Bernhard Clemens Schrenk, Álvaro Torralba
2022	A*	`conf`	Operator-Potential Heuristics for Symbolic Search. AAAI Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
2022	A*	`conf`	Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search. ICAPS Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
2022	A*	`conf`	Optimal Mixed Strategies for Cost-Adversarial Planning Games. ICAPS Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp
2022	A*	`conf`	Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. ICAPS Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
2022	J	`jnl`	Scaling up ML-based Black-box Planning with Partial STRIPS Models. CoRR Matias Greco, Álvaro Torralba, Jorge A. Baier, Héctor Palacios
2021	A*	`conf`	Automatic Instance Generation for Classical Planning. ICAPS Álvaro Torralba, Jendrik Seipp, Silvan Sievers
2021	A*	`conf`	Faster Stackelberg Planning via Symbolic Search and Information Sharing. AAAI Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann
2021	A*	`conf`	On the Optimal Efficiency of A* with Dominance Pruning. AAAI Álvaro Torralba
2021	A*	`conf`	Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. ICAPS Thorsten Klößner, Jörg Hoffmann, Marcel Steinmetz, Álvaro Torralba
2021	A*	`conf`	Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. IJCAI Pascal Lauer, Álvaro Torralba, Daniel Fiser, Daniel Höller, Julia Wichlacz, Jörg Hoffmann
2020	B	`conf`	Applying Monte-Carlo Tree Search in HTN Planning. SOCS Julia Wichlacz, Daniel Höller, Álvaro Torralba, Jörg Hoffmann
2020	B	`conf`	Generating Instructions at Different Levels of Abstraction. COLING Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
2020	J	`jnl`	Generating Instructions at Different Levels of Abstraction. CoRR Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
2020	B	`conf`	MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. SIGdial Arne Köhn, Julia Wichlacz, Christine Schäfer, Álvaro Torralba, Jörg Hoffmann, Alexander Koller
2020	A*	`conf`	Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning. AAAI Joschka Groß, Álvaro Torralba, Maximilian Fickert
2020	A*	`conf`	Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. IJCAI Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
2019	A*	`conf`	Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs. ICAPS Marcel Steinmetz, Álvaro Torralba
2019	B	`conf`	Interleaving Search and Heuristic Improvement. SOCS Santiago Franco, Álvaro Torralba
2019	A*	`conf`	Learning How to Ground a Plan - Partial Grounding in Classical Planning. AAAI Daniel Gnad, Álvaro Torralba, Martín Ariel Domínguez, Carlos Areces, Facundo Bustos
2019	A*	`conf`	Merge-and-Shrink Task Reformulation for Classical Planning. IJCAI Álvaro Torralba, Silvan Sievers
2019	A*	`conf`	Operator Mutexes and Symmetries for Simplifying Planning Tasks. AAAI Daniel Fiser, Álvaro Torralba, Alexander Shleyfman
2019	A*	`conf`	Symbolic Planning with Axioms. ICAPS David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba
2018	A*	`conf`	Completeness-Preserving Dominance Techniques for Satisficing Planning. IJCAI Álvaro Torralba
2018	J	`jnl`	Symbolic perimeter abstraction heuristics for cost-optimal planning. Artif. Intell. Álvaro Torralba, Carlos Linares López, Daniel Borrajo
2017	J	`jnl`	Efficient symbolic search for cost-optimal planning. Artif. Intell. Álvaro Torralba, Vidal Alcázar, Peter Kissmann, Stefan Edelkamp
2017	A*	`conf`	From Qualitative to Quantitative Dominance Pruning for Optimal Planning. IJCAI Álvaro Torralba
2017	A*	`conf`	On Creating Complementary Pattern Databases. IJCAI Santiago Franco, Álvaro Torralba, Levi H. S. Lelis, Mike Barley
2017	B	`conf`	Symbolic Leaf Representation in Decoupled Search. SOCS Daniel Gnad, Álvaro Torralba, Jörg Hoffmann
2017	A*	`conf`	Symmetry Breaking in Star-Topology Decoupled Search. ICAPS Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann
2016	A*	`conf`	Abstraction Heuristics for Symbolic Bidirectional Search. IJCAI Álvaro Torralba, Carlos Linares López, Daniel Borrajo
2016	B	`conf`	From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. COLING Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg
2016	A*	`conf`	On State-Dominance Criteria in Fork-Decoupled Search. IJCAI Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann
2016	A*	`conf`	Practical Undoability Checking via Contingent Planning. ICAPS Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber
2016	J	`jnl`	Search Challenges in Natural Language Generation with Complex Optimization Objectives. Künstliche Intell. Vera Demberg, Jörg Hoffmann, David M. Howcroft, Dietrich Klakow, Álvaro Torralba
2016	—	`ch.`	TIMIPLAN: A Tool for Transportation Tasks. Autonomic Road Transport Support Systems Javier García, Álvaro Torralba, José E. Flórez, Daniel Borrajo, Carlos Linares López, Ángel García Olaya
2015	A*	`conf`	A Reminder about the Importance of Computing and Exploiting Invariants in Planning. ICAPS Vidal Alcázar, Álvaro Torralba
2015	A*	`conf`	BDDs Strike Back (in AI Planning). AAAI Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
2015	B	`conf`	Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink. SOCS Álvaro Torralba, Peter Kissmann
2015	A*	`conf`	Simulation-Based Admissible Dominance Pruning. IJCAI Álvaro Torralba, Jörg Hoffmann
2014	A	`conf`	"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. ECAI Jörg Hoffmann, Peter Kissmann, Álvaro Torralba
2013	B	`conf`	Constrained Symbolic Search: On Mutexes, BDD Minimization and More. SOCS Álvaro Torralba, Vidal Alcázar
2013	A*	`conf`	Transition Trees for Cost-Optimal Symbolic Planning. ICAPS Álvaro Torralba, Stefan Edelkamp, Peter Kissmann
2012	—	`conf`	Lex-Partitioning: A New Option for BDD Search GRAPHITE Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
2012	A	`conf`	Symbolic A ECAI Stefan Edelkamp, Peter Kissmann, Álvaro Torralba