C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The TTC 2018 Social Media Case, by ATL and AOF.
Valentin Besnard
Frédéric Jouault
Théo Le Calvar
Massimo Tisi
Published in:
TTC@STAF (2018)
Keyphrases
</>
social media
multi agent systems
temporal logic
social networks
model checking
data sets
neural network
information retrieval
knowledge base
special case
visual tracking
social networking