stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Hard to build exact MDPs directly

Open sjunges opened this issue 2 years ago • 1 comments

Some operations are missing here

sjunges avatar Aug 11 '22 08:08 sjunges

I think we should try to tackle the general problem (in iterative, small steps): using templated bindings for the different ValueType. An example can be found for the DFT bindings (see mod_dft.cpp). Starting with MDPs is a good idea though.

volkm avatar Aug 11 '22 08:08 volkm