Testing Probabilistic Equivalence Through Reinforcement Learning
From MaRDI portal
Publication:5385989
DOI10.1007/11944836_23zbMath1177.68145OpenAlexW1529722424MaRDI QIDQ5385989
Josée Desharnais, François Laviolette, Sami Zhioua
Publication date: 17 April 2008
Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11944836_23
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items