Automatic synthesis of multi-agent motion tasks based on LTL specifications.

Savvas G. Loizou Kostas J. Kyriakopoulos

Published in: CDC (2004)

Keyphrases

multi agent
bounded model checking
image sequences
motion analysis
cooperative
multi agent systems
space time
temporal logic

multi agent environments
model checking
reinforcement learning
motion estimation
program synthesis
motion model
transition systems
high level

mechanical devices
agent communication
concurrent systems
linear temporal logic
learning algorithm
motion tracking
motion parameters

spatial and temporal
fully automatic
transfer learning
camera motion
intelligent agents
optical flow
three dimensional