Login / Signup

Use of constraint solving in order to generate test vectors for behavioral validation.

Christophe PaoliMarie-Laure NivetJean François Santucci
Published in: HLDVT (2000)
Keyphrases
  • constraint solving
  • neural network
  • mobile robot
  • constraint satisfaction problems
  • constraint satisfaction
  • constraint solver