SMT-Based Nonlinear PDDL+ Planning.

Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman

Browse the full AAAI paper archive.