Timed ATL: Forget Memory, Just Count.

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

Published in: AAMAS (2017)

Keyphrases

memory usage
petri net
model checking
computing power
alternating time temporal logic
timed automata
multi agent systems
main memory
temporal logic
memory space
memory size
memory footprint
memory capacity
database
associative memory
hidden markov models
random access
aggregation functions
low memory
real time