Robert Mattmüller

48 papers A* 24A 5B 3Misc 8Journal 4Unranked 2

Year	Rank	Type	Title / Venue / Authors
2022	A*	`conf`	Loopless Top-K Planning. ICAPS Julian von Tschammer, Robert Mattmüller, David Speck
2021	J	`jnl`	Game description language and dynamic epistemic logic compared. Artif. Intell. Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
2021	A*	`conf`	Learning Heuristic Selection with Dynamic Algorithm Configuration. ICAPS David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
2021	A*	`conf`	On the Compilability and Expressive Power of State-Dependent Action Costs. ICAPS David Speck, David Borukhson, Robert Mattmüller, Bernhard Nebel
2020	J	`jnl`	Evaluation of the moral permissibility of action plans. Artif. Intell. Felix Lindner, Robert Mattmüller, Bernhard Nebel
2020	J	`jnl`	Learning Heuristic Selection with Dynamic Algorithm Configuration. CoRR David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
2020	A*	`conf`	Symbolic Top-k Planning. AAAI David Speck, Robert Mattmüller, Bernhard Nebel
2020	A*	`conf`	Token-based Execution Semantics for Multi-Agent Epistemic Planning. KR Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter
2020	A*	`conf`	When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search. ICAPS David Speck, Florian Geißer, Robert Mattmüller
2019	Misc	`conf`	An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning. KI Sumitra Corraya, Florian Geißer, David Speck, Robert Mattmüller
2019	Misc	`conf`	Epistemic Multi-agent Planning Using Monte-Carlo Tree Search. KI Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel
2019	A*	`conf`	Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). IJCAI Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller
2019	J	`jnl`	Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity. J. Artif. Intell. Res. Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller
2019	A*	`conf`	Moral Permissibility of Action Plans. AAAI Felix Lindner, Robert Mattmüller, Bernhard Nebel
2019	A*	`conf`	Symbolic Planning with Axioms. ICAPS David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba
2019	B	`conf`	The Dynamic Logic of Policies and Contingent Planning. JELIA Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel
2018	A*	`conf`	Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. KR Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel
2018	A*	`conf`	Compiling Away Soft Trajectory Constraints in Planning. KR Benedict Wright, Robert Mattmüller, Bernhard Nebel
2018	A*	`conf`	Game Description Language and Dynamic Epistemic Logic Compared. IJCAI Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
2018	A*	`conf`	On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning. AAAI Robert Mattmüller, Florian Geißer, Benedict Wright, Bernhard Nebel
2018	A*	`conf`	Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams. ICAPS David Speck, Florian Geißer, Robert Mattmüller
2017	—	`conf`	Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. M4M@ICLA Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel
2016	A*	`conf`	Abstractions for Planning with State-Dependent Action Costs. ICAPS Florian Geißer, Thomas Keller, Robert Mattmüller
2016	A*	`conf`	State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. IJCAI Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller
2015	Misc	`conf`	Complexity of Interval Relaxed Numeric Planning. KI Johannes Aldinger, Robert Mattmüller, Moritz Göbelbecker
2015	A*	`conf`	Delete Relaxations for Planning with State-Dependent Action Costs. IJCAI Florian Geißer, Thomas Keller, Robert Mattmüller
2015	B	`conf`	Delete Relaxations for Planning with State-Dependent Action Costs. SOCS Florian Geißer, Thomas Keller, Robert Mattmüller
2015	Misc	`conf`	Necessary Observations in Nondeterministic Planning. KI David Speck, Manuela Ortlieb, Robert Mattmüller
2014	Misc	`conf`	An Experimental Comparison of Classical, FOND and Probabilistic Planning. KI Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb, Bernhard Nebel
2014	Misc	`conf`	Minimizing Necessary Observations for Nondeterministic Planning. KI Robert Mattmüller, Manuela Ortlieb, Erik Wacker
2014	A	`conf`	Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games. ECAI Florian Geißer, Thomas Keller, Robert Mattmüller
2013	—	`—`	Informed progression search for fully observable nondeterministic planning = Informierte Vorwärtssuche für nichtdeterministisches Planen unter vollständiger Beobachtbarkeit. Robert Mattmüller
2013	Misc	`conf`	Pattern-Database Heuristics for Partially Observable Nondeterministic Planning. KI Manuela Ortlieb, Robert Mattmüller
2013	A*	`conf`	The Relative Pruning Power of Strong Stubborn Sets and Expansion Core. ICAPS Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller
2012	A	`conf`	A Stubborn Set Algorithm for Optimal Planning. ECAI Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert
2012	—	`ch.`	Using the Context-Enhanced Additive Heuristic for Temporal and Numeric Planning. Towards Service Robots for Everyday Environments Patrick Eyerich, Robert Mattmüller, Gabriele Röger
2011	A*	`conf`	Synthia: Verification and Synthesis for Timed Automata. CAV Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller
2010	—	`conf`	Combining Symbolic Representations for Solving Timed Games. FORMATS Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter
2010	A*	`conf`	G-Value Plateaus: A Challenge for Planning. ICAPS J. Benton, Kartik Talamadupula, Patrick Eyerich, Robert Mattmüller, Subbarao Kambhampati
2010	A*	`conf`	Pattern Database Heuristics for Fully Observable Nondeterministic Planning. ICAPS Robert Mattmüller, Manuela Ortlieb, Malte Helmert, Pascal Bercher
2009	A	`conf`	Component-Based Abstraction Refinement for Timed Controller Synthesis. RTSS Hans-Jörg Peter, Robert Mattmüller
2009	Misc	`conf`	Solving Non-deterministic Planning Problems with Pattern Database Heuristics. KI Pascal Bercher, Robert Mattmüller
2009	A*	`conf`	Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning. ICAPS Patrick Eyerich, Robert Mattmüller, Gabriele Röger
2008	A	`conf`	A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. ECAI Pascal Bercher, Robert Mattmüller
2008	A*	`conf`	Accuracy of Admissible Heuristic Functions in Selected Planning Domains. AAAI Malte Helmert, Robert Mattmüller
2007	A*	`conf`	Planning for Temporally Extended Goals as Propositional Satisfiability. IJCAI Robert Mattmüller, Jussi Rintanen
2006	A	`conf`	Aproximation Properties of Planning Benchmarks. ECAI Malte Helmert, Robert Mattmüller, Gabriele Röger
2006	B	`conf`	Selective Approaches for Solving Weak Games. ATVA Malte Helmert, Robert Mattmüller, Sven Schewe