The “social dilemma” is a problem inherent in forming and maintaining cooperation among selfish individuals, and is of fundamental importance in the biological and social sci...
"These notes were written over a period of years as part of an advanced undergraduate/
beginning graduate course on Algebraic Coding Theory at Michigan
State University.&quo...
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
D. Scott McCrickard, Christa M. Chewar, Jacob P. S...
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
Krishnendu Chatterjee, Thomas A. Henzinger, Floria...