OBDD-Based Planning with Real-Valued Variables in Non-Deterministic Environments

A. Goel and K. S. Barber, University of Texas at Austin

We are developing a planner that can efficiently handle non-determinism and real variables using neither relative values nor explicit enumeration. In doing so, we are leveraging tools and representations from planning and logic synthesis for computer-aided verification.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.