storm::pomdp::storage Namespace Reference

Classes
struct	ExtremePOMDPValueBound
	Struct to store the extreme bound values needed for the reward correction values when clipping is used. More...
struct	PreprocessingPomdpValueBounds
	Struct for storing precomputed values bounding the actual values on the POMDP. More...