Randomness for free

DOI10.1016/j.ic.2015.06.003zbMath1333.91008MaRDI QIDQ897644

Krishnendu Chatterjee, Hugo Gimbert, Thomas A. Henzinger, Laurent Doyen

Publication date: 7 December 2015

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2015.06.003

Mathematics Subject Classification ID

91A05: 2-person games

91A43: Games involving graphs

68Q60: Specification and verification (program logics, model checking, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)