vitosvk / games-dt Goto Github PK

Artifact of the TACAS 2018 paper:
Strategy Representation by Decision Trees in Reactive Synthesis
Tomas Brazdil, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman

Final version

Evaluation-submitted version

This repository contains a version with small new modifications.

Structure:

• benchmarks -- AIGER files and parity automata used in the experiments
• lib -- JavaBDD library used to manipulate with BDDs
• src -- source code
• run.sh -- shell script to run the program on Linux
• run.bat -- PowerShell script to run the program on Windows

The script expects one input string-argument:

• 'a' -- creates AIGER games and solves them
• 'wX' -- creates Wash games with X (2..4) tanks and solves them
• 'Ra' -- represents computed AIGER strategies
• 'RwX' -- represents computed Wash strategies with X (2..4) tanks (X=0 for reachability)
• 'rabN' -- creates naive Rabinizer games, solves them and represents computed strategies
• 'rabE' -- creates encoded Rabinizer games, solves them and represents computed strategies