POMDP Solver
|
Class to build and explore a POMDP model. More...
Public Member Functions | |
def | __init__ (self) |
The constuctor. | |
def | load_model (self, model_file) |
Load a POMDP model. More... | |
def | parse_properties (self, properties) |
Parse property string. More... | |
def | set_undefined_constants (self, constants) |
Instantiate undefined constants of a pomdp model. More... | |
def | build_model (self) |
Build the POMDP model. | |
def | build_pmc (self, nr_memory_state, pomdp_memory_pattern=stormpy.pomdp.PomdpMemoryPattern.selective_counter, fsc_application_mode=stormpy.pomdp.PomdpFscApplicationMode.simple_linear) |
Unfold memory into the POMDP model and apply a FSC to obtain a pMC. More... | |
def | inspect_model (self) |
Inspect the POMDP model for invalid or missing components. | |
def | has_transition_matrix (self) |
Check if the POMDP model has a transition matrix. More... | |
def | has_state_labels (self) |
Check if the POMDP model has a state labels. More... | |
def | has_reward_model (self) |
Check if the POMDP model has a reward model. More... | |
def | has_undefined_constants (self) |
Check if the POMDP model has undefined constants. More... | |
def | get_model_type (self) |
Get the POMDP model type. More... | |
def | get_states (self) |
Get the states of the POMDP model. More... | |
def | get_nr_states (self) |
Get the number of states in the POMDP model. More... | |
def | get_state_labels (self) |
Get the state labels of the POMDP model. More... | |
def | get_reward_models (self) |
Get the reward model of the POMDP model. More... | |
def | get_observations (self) |
Get the observations of the POMDP model. More... | |
def | print_model_type (self) |
Print the model type. | |
def | print_nr_states (self) |
Print the number of states. | |
def | print_actions (self) |
Print the actions. | |
def | print_transitions (self) |
Print the transitions of the model. | |
def | print_observations (self) |
Print the observations of the model. | |
def | print_rewards (self) |
Print the reward model. | |
def | print_state_reward (self, reward) |
Print the state rewards. | |
def | print_state_action_reward (self, reward) |
Print the state action rewards. | |
def | print_constants (self) |
Print constants of the model. | |
Public Attributes | |
file_type | |
Can be drn, prism or jani. More... | |
file_path | |
Path to the model. | |
properties | |
program | |
Parsed pomdp model. | |
model | |
Build pomdp model. More... | |
Class to build and explore a POMDP model.
Supports DRN and Prism models. The use of Jani files has not been tested to give any guarantees.
def pomdp_solver.POMDP.build_pmc | ( | self, | |
nr_memory_state, | |||
pomdp_memory_pattern = stormpy.pomdp.PomdpMemoryPattern.selective_counter , |
|||
fsc_application_mode = stormpy.pomdp.PomdpFscApplicationMode.simple_linear |
|||
) |
Unfold memory into the POMDP model and apply a FSC to obtain a pMC.
nr_memory_state | Number of memory nodes. |
pomdp_memory_pattern | Memory pattern. |
fsc_application_mode | Application mode for the FSC. |
def pomdp_solver.POMDP.get_model_type | ( | self | ) |
Get the POMDP model type.
def pomdp_solver.POMDP.get_nr_states | ( | self | ) |
Get the number of states in the POMDP model.
def pomdp_solver.POMDP.get_observations | ( | self | ) |
Get the observations of the POMDP model.
def pomdp_solver.POMDP.get_reward_models | ( | self | ) |
Get the reward model of the POMDP model.
def pomdp_solver.POMDP.get_state_labels | ( | self | ) |
Get the state labels of the POMDP model.
def pomdp_solver.POMDP.get_states | ( | self | ) |
Get the states of the POMDP model.
def pomdp_solver.POMDP.has_reward_model | ( | self | ) |
Check if the POMDP model has a reward model.
def pomdp_solver.POMDP.has_state_labels | ( | self | ) |
Check if the POMDP model has a state labels.
def pomdp_solver.POMDP.has_transition_matrix | ( | self | ) |
Check if the POMDP model has a transition matrix.
def pomdp_solver.POMDP.has_undefined_constants | ( | self | ) |
Check if the POMDP model has undefined constants.
def pomdp_solver.POMDP.load_model | ( | self, | |
model_file | |||
) |
Load a POMDP model.
model_file | Path to a pomdp model |
def pomdp_solver.POMDP.parse_properties | ( | self, | |
properties | |||
) |
Parse property string.
properties | Property string |
def pomdp_solver.POMDP.set_undefined_constants | ( | self, | |
constants | |||
) |
Instantiate undefined constants of a pomdp model.
constants | a String containing a variable name and its value(e.g. "K=4, T=2") |
pomdp_solver.POMDP.file_type |
Can be drn, prism or jani.
Different build functions depending on the model format.
Parse the pomdp model.
Obtain the file type from the path.
pomdp_solver.POMDP.model |