Validating complex agent behavior

Scott A. Wallace. Validating complex agent behavior. PhD thesis, University of Michigan, USA, 2003. [doi]

@phdthesis{us-1582,
  title = {Validating complex agent behavior},
  author = {Scott A. Wallace},
  year = {2003},
  url = {https://hdl.handle.net/2027.42/123738},
  researchr = {https://researchr.org/publication/us-1582},
  cites = {0},
  citedby = {0},
  school = {University of Michigan, USA},
}