引用次数
引用: 1,202
H-指数: 21
I10-指数 : 33
出版物: 57
The relative pruning power of strong stubborn sets and expansion core: Additional proofs
Martin Wehrle , Malte Helmert , Y Alkhazraji , R Mattmüller
Technical Report CS-2013-002, University of Basel
1
2013
Exercise Sheet 7
B Nebel , R Mattmüller , T Schulte , D Speck
constraints 5 ( 2) 3 -3
2015
Neuromodulative und neuroablative Verfahren
K Görlinger , H Göbel , VM Tronnier , A Rolf
Neurogener Schmerz: Management von Diagnostik und Therapie 289 -355
1
2005
Quantitative movement-Parameter assessment with a novel wrist-mounted. sensor integrated measusrement device
O Weihberger , T Krüger , R Mattmüller , JA Coy
Tagung Der Sektion Stereotaxie Und Radiologie
2015
Device and method for planning an operation of a technical system
Jonathan Spitz , Andre Biedenkapp , David Speck , Frank Hutter
2021
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Pascal Bercher , Robert Mattmüller
european conference on artificial intelligence 921 -922
6
2008
Accuracy of admissible heuristic functions in selected planning domains
Malte Helmert , Robert Mattmüller
national conference on artificial intelligence 938 -943
25
2008
A stubborn set algorithm for optimal planning
Malte Helmert , Yusra Alkhazraji , Robert Mattmüller , Martin Wehrle
european conference on artificial intelligence 891 -892
17
2012
G-value plateaus: a challenge for planning
Patrick Eyerich , Kartik Talamadupula , Subbarao Kambhampati , Robert Mattmüller
international conference on automated planning and scheduling 259 -262
11
2010
Delete Relaxations for Planning with State-Dependent Action Costs
Robert Mattmüller , Thomas Keller , Florian Geißer
annual symposium on combinatorial search 228 -229
3
2015
The relative pruning power of strong stubborn sets and expansion core
Malte Helmert , Yusra Alkhazraji , Robert Mattmüller , Martin Wehrle
international conference on automated planning and scheduling 251 -259
19
2013
Using the Context-Enhanced Additive Heuristic for Temporal and Numeric Planning.
Patrick Eyerich , Robert Mattmüller , Gabriele Röger
Towards Service Robots for Everyday Environments 49 -64
7
2012
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
Robert Mattmüller , Florian Geißer , David Speck
international conference on automated planning and scheduling 250 -258
8
2018
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
Bernhard Nebel , Thomas Bolander , Robert Mattmüller , Thorsten Engesser
principles of knowledge representation and reasoning 445 -453
9
2018
Compiling Away Soft Trajectory Constraints in Planning.
Bernhard Nebel , Robert Mattmüller , Benedict Wright
principles of knowledge representation and reasoning 474 -483
1
2018
Symbolic Planning with Axioms
Robert Mattmüller , Florian Geißer , Álvaro Torralba , David Speck
international conference on automated planning and scheduling 29 464 -472
2
2019
When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search
Robert Mattmüller , Florian Geißer , David Speck
international conference on automated planning and scheduling 30 263 -271
2020
Token-based Execution Semantics for Multi-Agent Epistemic Planning.
Thorsten Engesser , Robert Mattmüller , Bernhard Nebel , Felicitas Ritter
principles of knowledge representation and reasoning 17 ( 1) 351 -360
2020
Synthia: verification and synthesis for timed automata
Hans-Jörg Peter , Rüdiger Ehlers , Robert Mattmüller
computer aided verification 649 -655
20
2011
Selective approaches for solving weak games
Malte Helmert , Robert Mattmüller , Sven Schewe
automated technology for verification and analysis 200 -214
2
2006