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.