Limits to Verification and Validation of Agentic Behavior.

Published in: CoRR (2016)

Keyphrases

model checking
cooperative
database
databases
social networks
knowledge base
relational databases
human behavior
dynamic behavior
formal verification