search

nvgrw / prob-tool

0 stars 0 forks source link

Label variables/state in matrix output #6

Closed nvgrw closed 4 years ago

nvgrw commented 4 years ago

Since we know the source variable names, print out which column corresponds to which variable and its specific value.

We could even emit the abstraction matrix that can be used after iterating the DTMC matrix sufficiently enough to obtain the final distribution involving just the variables across all possible values.

nvgrw commented 4 years ago

Perhaps export 2 more files, one for the abstraction matrix that yields the per-variable probabilities and one for the initial state x_0