IEEE Computer Society Press / Industrial Critical Systems / Real-Time Systems / Hybrid Systems / David J. Musliner SIFT LLC / / /
Event
Man-Made Disaster / /
Facility
University of Aarhus / Carnegie Mellon University / /
IndustryTerm
search failures / classical planning systems / forward verification search / reachability verification systems / control systems / verification systems / skeletal search algorithm / breadth-first search / model-checking algorithms / search stack / graph search algorithms / exhaustive search / search algorithm / lego mindstorms systems / /
Organization
North Atlantic Treaty Organization / Institute for Programming / office of Naval Research / University of Aarhus / School on Verification of Digital and Hybrid Systems / Department of Computer Science / Artificial Copyright Intelligence / Carnegie Mellon University / National Aeronautics and Space Administration / Association for the Advancement / Inertial Reference Unit / /
Person
Michael J.S. Pelican / Robert P. Goldman / Musliner / /
Position
INIT INIT Guard / D. J. / CIRCA controller / Guiding planner / guard / planner / same planner / Controller / /
A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401