PPS: A Solver for POMDPs with Parity Objectives

PPS: A Solver for POMDPs with Parity Objectives is a tool to run qualitative analysis on POMDPs with parity objectives.

The tool requires the Java Runtime Environment (JRE) version 1.7 or above (www.java.com/getjava).

You can download the following files:

To invoke PPS double-click on the downloaded pps.jar or on the command line type: java -jar pps.jar. (Make sure that you have the permission to execute pps.jar.)

Screenshot