C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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