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