Login / Signup

Verification of K-step opacity and analysis of its complexity.

Anooshiravan SabooriChristoforos N. Hadjicostis
Published in: CDC (2009)
Keyphrases
  • image analysis
  • decision trees
  • statistical analysis
  • automatic analysis
  • database
  • data sets
  • genetic algorithm
  • decision making
  • multi agent systems
  • source code
  • quantitative analysis
  • complexity analysis