| Document Date: 2006-01-11 07:53:49
Open Document File Size: 123,79 KBShare Result on Facebook
City Berlin / / Company AAAI Press/MIT Press / Honeywell Laboratories / Air Force Research Laboratory / Goldman / Hybrid Systems / / / Facility Carnegie-Mellon University / Air Force Research Laboratory / / IndustryTerm search decisions / space search / search process / search scales / search decision / heuristic state-space search / deceptive goal chain / chronological backtracking algorithm / certain search algorithms / search tree corresponding / correct solution / search stack / wasted search / search algorithm / reachability-computing verification system / search size / depth-first search proceeds / greedy goal regression search / search heuristic / added search / search stack choice points / partial solution / depth-first search / synthesis algorithm / control applications / online component / manufacturing scheduling / automatic design applications / dense-time systems / state space search / chronological backtracking search / / Organization MIT / American Association for Artificial IntelliCopyright / Carnegie-Mellon University / National Aeronautics and Space Administration / / Person Michael J. S. Pelican / Musliner / Robert P. Goldman Michael / / / Position D. J. / CIRCA Controller / safe controller / original CIRCA planning/controller / reactive executive / backjumping planner / executive / the planner / planner / Controller / chronological backtracking planner / / Product C-0017 / Controller Synthesis Module / / ProvinceOrState A. B. / / PublishedMedium Journal of Artificial Intelligence Research / Lecture Notes in Computer Science / / Technology conventional / chronological backtracking algorithm / search algorithm / artificial intelligence / CIRCA planning/controller synthesis algorithm / certain search algorithms / / URL http /
SocialTag |
Guiding Planner Backjumping Using Verifier Traces