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

Software UNKNOWN
Tomáš Brázdil; Krishnendu Chatterjee; Křetínský, Jan; Toman, Viktor;
(2018)

<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