Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model.

Luca Bortolussi Max Tschaikowski

Published in: ASMTA (2016)

Keyphrases

temporal properties
decision making
high level
cooperative
spatio temporal
probabilistic model
probability distribution
model checking
trust model
agent model
multiple agents
data analysis
expert systems
dynamic environments
temporal analysis