Artifact and instructions to generate experimental results for TACAS 2018 paper: Strategy Representation by Decision Trees in Reactive Synthesis

Software UNKNOWN
Brázdil, Tomáš; Chatterjee, Krishnendu; Křetínský, Jan; Toman, Viktor;
  • Publisher: Figshare
  • Related identifiers: doi: 10.6084/m9.figshare.5923915.v1
  • Subject: Strategy representation | Applied Computer Science | Reactive systems | Decision trees | Graph games | Reactive synthesis

<div>This dataset contains the code and instructions needed to replicate the experimental results presented in the TACAS 2018 paper "Strategy Representation by Decision Trees in Reactive Synthesis".</div><div><br></div><div>Graph games played by two players over finite-... View more
Share - Bookmark

  • Download from
    figshare via figshare (Software, 2018)
  • Cite this software