Login / Signup

Two new strategies for developing loop invariants and their applications.

Jinyun Xue
Published in: J. Comput. Sci. Technol. (1993)
Keyphrases
  • multi agent systems
  • optimal strategy
  • genetic algorithm
  • learning algorithm
  • decision making
  • expert systems
  • pose estimation
  • affine invariant