I note that if I try to test an RDDL setup with rddlsim before letting PROST fly, it complains about action-preconditions that PROST is happy with. (It said the "proceed" action violated its expectations of what was true, though it runs fine under PROST.) I wanted to run one of your canned examples using these intermediate levels directly in rddlsim, but both the wildfire2018 and push-your-luck resulted in overflowing Java's stack. (this was with the 01 version of each of these.)
I thought that PROST used the same rddlsim under the covers, so i'd expect them to be able to run the same things, but maybe not. I'm wondering if this is a known issue or my misconfiguration, and if a known issue, are there any workarounds? Is there a list of such differences someplace? Thanks.
I note that if I try to test an RDDL setup with rddlsim before letting PROST fly, it complains about action-preconditions that PROST is happy with. (It said the "proceed" action violated its expectations of what was true, though it runs fine under PROST.) I wanted to run one of your canned examples using these intermediate levels directly in rddlsim, but both the wildfire2018 and push-your-luck resulted in overflowing Java's stack. (this was with the 01 version of each of these.)
I thought that PROST used the same rddlsim under the covers, so i'd expect them to be able to run the same things, but maybe not. I'm wondering if this is a known issue or my misconfiguration, and if a known issue, are there any workarounds? Is there a list of such differences someplace? Thanks.