 Work with <A HREF="http://www.cs.washington.edu/homes/mikew"> Mike Williamson</a>            explores how these formal models can be integrated with a least-commitment             planning algorithms.  The result is PYRRHUS, a planner that generates optimal             plans in a delivery-truck domain (using the <a href="http://www.cs.washington.edu/homes/hanks/projects/testbeds.html"> Truckworld            testbed</a>.  See             <A HREF="ftp://ftp.cs.washington.edu/pub/ai/williamson-hanks-pyrrhus-aips94.ps.Z">                    <i> Optimal Planning with a Goal-Directed Utility Model</i></a>,                    which appeared in the AIPS94 proceedings.     </ul>
