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

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.

Authors

• A. Goel
• K. S. Barber J. Ahn
• University of Texas at Austin

Keywords

No keywords are indexed for this paper.