Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/pomdps/simple/

../
guess-multi.prism                                  12-Jan-2024 23:19                 792
guess-multi.props                                  12-Jan-2024 23:19                 245
guess.prism                                        12-Jan-2024 23:19                 458
guess.props                                        12-Jan-2024 23:19                 132
maze.prism                                         12-Jan-2024 23:19                1611
maze.props                                         12-Jan-2024 23:19                  78
maze2.prism                                        12-Jan-2024 23:19                1933