Hierarchical timed automata based verification of dynamic evolution process in open environments.

Yu Zhou Jidong Ge Pengcheng Zhang

Published in: ICSSP (2014)

Keyphrases

open environments
evolution process
multi agent systems
evolutionary algorithm
dynamic environments
level set
model checking
multi agent
cooperative
differential evolution
embedded systems
video sequences
image analysis
optimization algorithm
training process