rddl-parser in debug mode does not allow partially defined CPFs

Issue #74 new
geisserf created an issue

The debug version of the parser does not allow the specification of CPFs where some states would result in ill-defined probability distributions (e.g. Bernoulli(1.3)), but those states will never be reached during search.

An example is the cooperative-recon domain, where the CPF for 'damaged' on a state where the robot is on multiple positions at the same time results in a Bernoulli expression outside of [0,1]. Obviously, such a state is not possible, but during the preprocessing phase such a state is generated.

Comments (0)

  1. Log in to comment