v1.6.2

Requires Storm version >= 1.6.2 and pycarl version >= 2.0.4

• Adaptions to changes in Storm
• Create models (DTMC, MDP, CTMC, MA) directly from model components. Support creation of transition matrix, labeling, reward models, etc.
• Explicit State Lookup: Finding a state based on the variable values
• Support for pPOMDPs
• (p)POMDPs: Support for unfolding memory, making POMDPs simple, and exporting POMDP to a pMC
• Export to DRN options to support exporting without placeholders
• Renamed preprocess_prism_program to preprocess_symbolic_input
• Bindings for storm-dft. Most notably transformations, symmetries and relevant events