Timed ATL: Forget Memory, Just Count.

Michal Knapik Étienne André Laure Petrucci Wojciech Jamroga Wojciech Penczek

Published in: J. Artif. Intell. Res. (2019)

Keyphrases

multi agent systems
model checking
timed automata
alternating time temporal logic
memory requirements
memory usage
petri net
discrete event
limited memory
website
finite state machines
memory size
working memory
memory space
computational power
real world
temporal logic
multiscale
information systems