Investigating the Origins of Complexity and Expressiveness in ATL Transformations.

Stefan Götz Matthias Tichy

Published in: J. Object Technol. (2020)

Keyphrases

multi agent systems
computational complexity
artificial intelligence
model checking
expressive power
space complexity
cooperative
neural network
information systems
decision making
knowledge base
reinforcement learning
data structure
hidden markov models
complexity analysis
lower complexity