Classes
class	BeliefExplorationPomdpModelChecker
	Model checker for checking reachability queries on POMDPs using approximations based on exploration of the belief MDP. More...

struct	BeliefExplorationPomdpModelCheckerOptions

struct	POMDPValueBounds
	Structure for storing values on the POMDP used for cut-offs and clipping. More...

class	PreprocessingPomdpValueBoundsModelChecker

Functions
template<typename ValueType >
ValueType	getGap (ValueType const &l, ValueType const &u)

Function Documentation

◆ getGap()

template<typename ValueType >

ValueType storm::pomdp::modelchecker::getGap	(	ValueType const &	l,
		ValueType const &	u
	)