Strategy representation by decision trees in reactive synthesis
From MaRDI portal
Publication:2324222
DOI10.1007/978-3-319-89960-2_21zbMath1423.68118arXiv1802.00758OpenAlexW2964128311MaRDI QIDQ2324222
Krishnendu Chatterjee, Viktor Toman, Tomáš Brázdil, Jan Křetínský
Publication date: 16 September 2019
Full work available at URL: https://arxiv.org/abs/1802.00758
Learning and adaptive systems in artificial intelligence (68T05) Games involving graphs (91A43) Data structures (68P05)
Related Items (1)
This page was built for publication: Strategy representation by decision trees in reactive synthesis