Skip to content

Version 1.0.2: First version with basic functionality for PyPI
Compare
Choose a tag to compare
@xblahoud xblahoud released this 22 Jun 23:17
· 233 commits to master since this release
v1.0.2
e2be0e5
  • Data structures for consumption Markov Decision Processes (CMDP)
  • Solvers for strategy synthesis (and solving underlying decision problems) for Survival, Positive reachability (of given target set T), almost-sure reachability of T, and almsot-sure Büchi objective on T
  • Algorithm for explicit representation of energy + MEC decomposition of this explicit MDP
  • Example notebooks
Assets 2