Verification games

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 12, 2012
Source ID
10.1145/2318202.2318210

Entities

People

  • Brian Walker
  • Michael D. Ernst
  • Nathaniel Mote
  • S. I. Cooper
  • Stephanie Dietzel
  • Timothy Pavlik
  • Werner M. Dietl
  • Zoran Popovic

Organizations

  • Defense Advanced Research Projects Agency
  • University of Washington