storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

POMDP tests missing

Open sjunges opened this issue 3 years ago • 0 comments

Various method in storm-pomdp currently miss tests;

In particular, the transformations, the nondeterministic belief-tracker, the observation trace unfolded. Some of the qualitative analysis methods have very limited tests.

sjunges avatar Jun 11 '21 21:06 sjunges