Skip to content

v4.10

Choose a tag to compare

View all tags
@davexparker davexparker released this 29 Jan 22:10
v4.10
17a47f8

  • Import/export functionality

    • import/export from/to UMB (Unified Markov Binary) format
    • import of POMDPs from explicit files (.tra, .obs, etc.)
    • optionally, export/import initial state info via .tra file
      (currently only done for POMDPs))

  • Full LTL for interval MDPs/DTMCs.

  • Construction and export (but not solution) of:

    • negative rewards
    • interval POMDPs
    • exact interval models

  • Use JVM defaults for max heap size

  • Various bugfixes

  • Development and code-level changes

    • fix to allow cross-compiling Arm->Intel on macOS.
    • ModelInfo stores actions, aligns with Model
    • models stored using BigRational not Function in exact mode
Assets 8
Loading