Skip to main navigation Skip to search Skip to main content

IntervalMDPAbstractions.jl

Dataset

Description

Abstraction of stochastic systems to IMDPs and odIMDPs
Date made available27 Jan 2025
PublisherGitHub

Software license

  • MIT

Access Dataset

Cite this