Skip to content

v0.1.3

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 08 Aug 05:54
v0.1.3
0908536
This commit was created on github.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

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)

Contributors

MaximeBouton and dylan-asmar
Assets 2
Loading