About

POMDPModelChecking.jl is a package for solving model checking problems in POMDPs. It is part of the POMDPs.jl ecosystem.

• About
• Model Checking Solver
• • Specifying formulas
  • Solving model checking problems
  • Examples
• Reachability Solver
• • Reachability in MDPs
  • Reachability in POMDPs
• References