The probabilistic termination tool amber.

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

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

probabilistic model
bayesian networks
information systems
data driven
real time
artificial intelligence
image processing
expert systems
logic programs
generative model
uncertain data
belief networks
probabilistic interpretation