Version 0 Version 0.2 Explicitly support (fully observable) MDPs Avoid resizing by always having some sufficient margin around the arena. Updated to stormpy 1.7.0 Version 0.1 Initial version