David Speck

icon indicating a website link https://speckdavid.github.io/

icon location I am a postdoctoral researcher at the University of Basel, Switzerland.

Results 1 issues of David Speck

[issue1187] Failing Assertion in Enforced Hill Climbing on Trivial Problem

Fix: `assert(num_ehc_phases != 0);` => `assert(num_ehc_phases >= 0);` to handle trivial PDDL instances where the initial state already satisfies the goal.