Towards Incremental Execution of ATL Transformations.

Frédéric Jouault Massimo Tisi

Published in: ICMT@TOOLS (2010)

Keyphrases

multi agent systems
incremental learning
execution model
model checking
incremental version
alternating time temporal logic
data flow
data sets
temporal logic
efficient incremental
real time
case study
monte carlo
active rules
program execution