Kerry Moffitt

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Social Interaction

Temporal Properties

Computation Tree Logic

Top Venues

Publications

Daniel G. Shapiro, Karen Tanenbaum, Joshua McCoy, Larry LeBron, Craig W. Reynolds, Andrew Stern, Michael Mateas, Bill Ferguson, David Diller, Kerry Moffitt, Will Coon, Bruce Roberts
Composing Social Interactions via Social Games. AAMAS (2015)
Kerry Moffitt, John Ostwald, Ron Watro, Eric Church
Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games. CSI-SE (2015)