default search action

combined dblp search
author search
venue search
publication search

ask others

David Speck 0001

> Home > Persons

Person information

affiliation: Linköping University, Sweden
affiliation (former): University of Freiburg, Gremany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icaps/Hoft0PS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaps/Hoft0PS24
Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp:
Versatile Cost Partitioning with Exact Sensitivity Analysis. ICAPS 2024: 276-280
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icaps/0001024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaps/0001024
David Speck, Daniel Gnad:
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning. ICAPS 2024: 546-554
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/Behnke00S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/Behnke00S23
Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi:
On Partial Satisfaction Planning with Total-Order HTNs. ICAPS 2023: 42-51
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/0001H0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0001H0S23
David Speck, Paul Höft, Daniel Gnad, Jendrik Seipp:
Finding Matrix Multiplication Algorithms with Classical Planning. ICAPS 2023: 411-416
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/ChristenE0MPPSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ChristenE0MPPSS23
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck:
PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI 2023: 453-460
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Hoft0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Hoft0S23
Paul Höft, David Speck, Jendrik Seipp:
Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning. ECAI 2023: 1044-1051
2022
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Speck22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Speck22
David Speck:
Symbolic search for optimal planning with expressive extensions. University of Freiburg, Germany, 2022
[c15]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/0001S22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0001S22a
David Speck, Jendrik Seipp:
New Refinement Strategies for Cartesian Abstractions. ICAPS 2022: 348-352
[c14]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/TschammerM022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/TschammerM022
Julian von Tschammer, Robert Mattmüller, David Speck:
Loopless Top-K Planning. ICAPS 2022: 380-384
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/socs/Hu022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Hu022
Kilian Hu, David Speck:
On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE. SOCS 2022: 91-99
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-00288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-00288
David Speck:
Symbolic Search for Optimal Planning with Expressive Extensions. CoRR abs/2204.00288 (2022)
2021
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Behnke021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Behnke021
Gregor Behnke, David Speck:
Symbolic Search for Optimal Total-Order HTN Planning. AAAI 2021: 11744-11754
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0001K21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0001K21a
David Speck, Michael Katz:
Symbolic Search for Oversubscription Planning. AAAI 2021: 11972-11980
[c10]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/DrexlerS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/DrexlerS021
Dominik Drexler, Jendrik Seipp, David Speck:
Subset-Saturated Transition Cost Partitioning. ICAPS 2021: 131-139
[c9]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/0001BMN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0001BMN21
David Speck, David Borukhson, Robert Mattmüller, Bernhard Nebel:
On the Compilability and Expressive Power of State-Dependent Action Costs. ICAPS 2021: 358-366
[c8]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/0001BHML21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0001BHML21
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer:
Learning Heuristic Selection with Dynamic Algorithm Configuration. ICAPS 2021: 597-605
2020
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SpeckMN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SpeckMN20
David Speck, Robert Mattmüller, Bernhard Nebel:
Symbolic Top-k Planning. AAAI 2020: 9967-9974
[c6]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/SpeckGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/SpeckGM20
David Speck, Florian Geißer, Robert Mattmüller:
When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search. ICAPS 2020: 263-271
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/socs/GeisserSK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/GeisserSK20
Florian Geißer, David Speck, Thomas Keller:
Trial-Based Heuristic Tree Search for MDPs with Factored Action Spaces. SOCS 2020: 38-47
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-08246
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-08246
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer:
Learning Heuristic Selection with Dynamic Algorithm Configuration. CoRR abs/2006.08246 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/SpeckGMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/SpeckGMT19
David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba:
Symbolic Planning with Axioms. ICAPS 2019: 464-472
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/CorrayaGSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/CorrayaGSM19
Sumitra Corraya, Florian Geißer, David Speck, Robert Mattmüller:
An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning. KI 2019: 123-130
2018
[c2]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/SpeckGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/SpeckGM18
David Speck, Florian Geißer, Robert Mattmüller:
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams. ICAPS 2018: 250-258
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/SpeckDB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/SpeckDB17
David Speck, Christian Dornhege, Wolfram Burgard:
Shakey 2016 - How Much Does it Take to Redo Shakey the Robot? IEEE Robotics Autom. Lett. 2(2): 1203-1209 (2017)
2015
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/SpeckOM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/SpeckOM15
David Speck, Manuela Ortlieb, Robert Mattmüller:
Necessary Observations in Nondeterministic Planning. KI 2015: 181-193

Coauthor Index

see FAQ

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.