Algorithms.MDP

Markov decision processes

data MDP a b t

mkDiscountedMDP

mkUndiscountedMDP

Types

type Transitions a b t

type Costs a b t

type ActionSet a b

type CF a b t

data CFBounds a b t

Utility functions

cost

action

optimalityGap

Validation

verifyStochastic

data MDPError a b t