Login / Signup

Towards Logical Frameworks in the Heterogeneous Tool Set Hets.

Mihai CodescuFeryal Fulya HorozalMichael KohlhaseTill MossakowskiFlorian RabeKristina Sojakova
Published in: WADT (2010)
Keyphrases
  • high level
  • data sets
  • small number
  • input data
  • bayesian networks
  • mobile robot
  • probability distribution
  • initial set