On complexity of verification of interacting agents' behavior.

Michael I. Dekhtyar Alexander Ja. Dikovsky Mars K. Valiev

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

interacting agents
human behavior
computational cost
worst case
space complexity
computational complexity
special case
ground truth
decision problems