Formal evaluation of agent architectures. In: (2007)

by N Alechina, B Logan
Venue:AAAI Workshop.