pith. sign in

S. Edelkamp

Identifiers

  • name variant S. Edelkamp 0.60 · backfill

Papers (3)

  1. Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 cs.AI · 2011 · author #1
  2. The Deterministic Part of IPC-4: An Overview cs.AI · 2011 · author #1
  3. Taming Numbers and Durations in the Model Checking Integrated Planning System cs.AI · 2011 · author #1

Mentions

  • 1110.1016 #1 · backfill · confidence 0.70 S. Edelkamp
  • 1109.5663 #1 · backfill · confidence 0.70 S. Edelkamp
  • 1107.0025 #1 · backfill · confidence 0.70 S. Edelkamp

Frequent Coauthors