storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Extended handling of terminal states for POMDPs

Open AlexBork opened this issue 5 months ago • 1 comments

This PR extends the handling of states marked as terminal in the PrismNextStateGenerator. In particular, terminal states in POMDPs are expanded with self-loops for all enabled actions, preventing erroneous behavior if there are other states with the same observation as a terminal state present in the model.

Resolves #603

AlexBork avatar Sep 05 '24 16:09 AlexBork