ATL: a QVT-like transformation language.

Frédéric Jouault Freddy Allilaire Jean Bézivin Ivan Kurtev Patrick Valduriez

Published in: OOPSLA Companion (2006)

Keyphrases

multi agent systems
alternating time temporal logic
model checking
temporal logic
reactive systems
cooperative
probability distribution
multi agent
learning process
low cost
imperfect information