Sign in

Application Driven Variable Reordering and an Example Implementation in Reachability Analysis.

Christoph MeinelKlaus SchwettmannAnna Slobodová
Published in: ASP-DAC (1999)
Keyphrases
  • reachability analysis
  • data sets
  • efficient implementation
  • artificial intelligence
  • search algorithm
  • markov decision processes
  • practical application
  • model driven