Synthesizing Social Laws with ATL Conditions.

Rustam Galimullin Louwe B. Kuijer

Published in: AAMAS (2024)

Keyphrases

social laws
multi agent systems
sufficient conditions
agent societies
multiagent planning
multiagent systems
multi agent
machine learning
bayesian networks
cooperative
model checking