Login / Signup

A dynamic constraint-based BMC strategy for generating counterexamples.

Hélène CollavizzaNguyen Le VinhMichel RueherSamuel DevulderThierry Gueguen
Published in: SAC (2011)
Keyphrases
  • dynamic environments
  • dynamically changing
  • databases
  • multiresolution
  • mobile robot
  • selection strategy