Reasoning about effects: from lists to cyber-physical agents.

Ian A. Mason Carolyn L. Talcott

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

cyber physical
multi agent
multi agent systems
social networks
physical world
intelligent agents
software agents
decision making
mobile agents
cyber physical systems
agent model
situation awareness
dynamic environments
physical space
data analysis
control system