MAPKIP feasibility study dataset: MDP-based planning models for knowledge-intensive processes

For each scenario, the corresponding folder contains: The MDP model (model.prism), encoded in the PRISM language, represents the planning problem (case instance) and domain (case model). The property file (properties.props) specifying the goal state Original output files generated by PRISM, including execution logs(runner.log), the transition matrix file (output.tra), the state file (output.sta) containing reachable states, the label file (output.lab), and the transition matrix in dot format (output.dot) The visualization of the generated plan (output.png), produced using GraphViz The evaluation was conducted on a system equipped with an Intel Core i5 processor (2.8 GHz) and 4 GB of RAM.