Login / Signup
Parameterised Resource-Bounded ATL.
Natasha Alechina
Stéphane Demri
Brian Logan
Published in:
AAAI (2020)
Keyphrases
</>
resource bounded
multi agent systems
autonomous agents
information gathering
alternating time temporal logic
model checking
meta level
temporal logic
multi agent
imperfect information
computational intelligence
intelligent agents
information fusion