Capacity ATL.

Gabriel Ballot Vadim Malvone Jean Leneutre Youssef Laarouchi

Published in: CoRR (2023)

Keyphrases

multi agent systems
model checking
temporal logic
multiresolution
limited capacity
alternating time temporal logic
databases
real world
image sequences
bayesian networks
lower bound
artificial neural networks
user interface
imperfect information
high capacity