num_states
num_actions
initial_states
AllStates
[Factored RMDPs](@id api-frmdp) FactoredRobustMarkovDecisionProcess
state_values(s::FactoredRobustMarkovDecisionProcess)
action_values(s::FactoredRobustMarkovDecisionProcess)
marginals(s::FactoredRobustMarkovDecisionProcess)
Convenience constructors for subclasses of fRMDPs IntervalMarkovChain
IntervalMarkovDecisionProcess
Probability representation Marginal
ambiguity_sets(m::Marginal)
state_variables(m::Marginal)
action_variables(m::Marginal)
source_shape(m::Marginal)
action_shape(m::Marginal)
getindex(p::Marginal, action, source)
num_sets
num_target
support
IntervalAmbiguitySets
lower
upper
gap
Deterministic Finite Automaton (DFA) DFA
num_states(dfa::DFA)
num_labels(dfa::DFA)
transition(dfa::DFA)
labelmap(dfa::DFA)
initial_state(dfa::DFA)
ProductProcess
markov_process(proc::ProductProcess)
automaton(proc::ProductProcess)
labelling_function(proc::ProductProcess)
Transition function for DFA TransitionFunction
transition(transition_func::TransitionFunction)
num_states(tf::TransitionFunction)
num_labels(tf::TransitionFunction)
Labelling of IMDP states to Automaton alphabet DeterministicLabelling
mapping(dl::DeterministicLabelling)
num_labels(dl::DeterministicLabelling)