Sign in

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.

Alexandre HamezYann Thierry-MiegFabrice Kordon
Published in: Fundam. Informaticae (2009)
Keyphrases
  • probabilistic model
  • input data
  • objective function
  • data mining
  • machine learning
  • coding scheme