Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.

Elena Planas Jordi Cabot Cristina Gómez

Published in: MtATL@TOOLS (2011)

Keyphrases

multi agent systems
desirable properties
database
real world
multiscale
information redundancy
real time
genetic algorithm
artificial intelligence
computer vision
mobile robot
medical images
model checking
temporal logic
topological properties
linear transformations