Sign in

Hierarchical Set Decision Diagrams and Regular Models.

Yann Thierry-MiegDenis PoitrenaudAlexandre HamezFabrice Kordon
Published in: TACAS (2009)
Keyphrases
  • search algorithm
  • computational complexity
  • probabilistic model
  • complex systems
  • decision diagrams