Social Diversity for ATL Repair.

Zahra VaraminyBahnemiry Jessie Galasso Houari A. Sahraoui

Published in: CoRR (2022)

Keyphrases

social networks
social interaction
temporal logic
multi agent systems
model checking
social networking
social media
online communities
database
databases
genetic algorithm
collective intelligence
social web
alternating time temporal logic