A Case Study Based Comparison of ATL and SDM.

Sven Patzina Lars Patzina

Published in: AGTIVE (2011)

Keyphrases

case study
pattern recognition
model checking
multiscale
test bed
genetic algorithm
multi agent
cooperative
digital libraries
artificial neural networks
management system
statistical analysis
evaluation function
alternating time temporal logic