Skip to content

Version 0.2.0

Latest
Latest
Compare
Choose a tag to compare
@sjunges sjunges released this 15 Aug 16:39
· 2 commits to master since this release
v0.2.0
c9d5d93
  • Explicitly support (fully observable) MDPs
  • Avoid resizing by always having some sufficient margin around the arena.
  • Updated to stormpy 1.7.0
Assets 2
Loading