The Probabilistic Termination Tool Amber.

Marcel Moosbrugger Ezio Bartocci Joost-Pieter Katoen Laura Kovács

Published in: CoRR (2021)

Keyphrases

probabilistic model
bayesian networks
generative model
real world
context sensitive
analysis tool
probabilistic logic
artificial intelligence
social networks
feature selection
decision making
case study
data structure
knowledge discovery
data driven