• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

New Approaches for Almost-Sure Termination of Probabilistic Programs.

Mingzhang HuangHongfei FuKrishnendu Chatterjee
Published in: APLAS (2018)
Keyphrases
  • probabilistic model
  • real world
  • case study
  • real time
  • machine learning algorithms
  • information theoretic
  • alternative approaches
  • data mining
  • information systems
  • generative model
  • probabilistic logic