v0.1.3

POMDPModelChecking v0.1.3

Diff since v0.1.1

Merged pull requests:

• Using POMDPTools (#26) (@MaximeBouton)
• bump patch (#27) (@MaximeBouton)
• CompatHelper: bump compat for POMDPTools to 1, (keep existing compat) (#28) (@github-actions[bot])
• CompatHelper: bump compat for POMDPs to 1, (keep existing compat) (#29) (@github-actions[bot])
• Doc updates (#31) (@dylan-asmar)

Closed issues:

• Documentation (#4)
• MEC computation takes a long time (#9)
• "POMDPModelTools" is not available (#30)

v0.1.1

POMDPModelChecking v0.1.1

Diff since v0.1.0

Merged pull requests:

• Docs (#25) (@MaximeBouton)

v0.1.0

POMDPModelChecking v0.1.0

Closed issues:

• Move ownership to SISL (#5)
• Install Error (#6)
• spot (#11)
• UndefVarError: spot not defined (#12)
• Policy Evaluation (#15)

Merged pull requests:

• Fixes 0.7 (#2) (@MaximeBouton)
• Refactor (#3) (@MaximeBouton)
• clean up (#7) (@MaximeBouton)
• fix build (#8) (@MaximeBouton)
• WIP Updates and Bug Fixes (#10) (@MaximeBouton)
• WIP Fix gridworld example (#13) (@MaximeBouton)
• Update to julia 1.6 (#16) (@MaximeBouton)
• CompatHelper: add new compat entry for "DiscreteValueIteration" at version "0.4" (#17) (@github-actions[bot])
• CompatHelper: add new compat entry for "POMDPModelTools" at version "0.3" (#18) (@github-actions[bot])
• CompatHelper: add new compat entry for "POMDPPolicies" at version "0.4" (#19) (@github-actions[bot])
• CompatHelper: add new compat entry for "Parameters" at version "0.12" (#20) (@github-actions[bot])
• CompatHelper: add new compat entry for "LightGraphs" at version "1" (#21) (@github-actions[bot])
• CompatHelper: add new compat entry for "Distributions" at version "0.25" (#22) (@github-actions[bot])
• CompatHelper: add new compat entry for "Spot" at version "0.2" (#23) (@github-actions[bot])