The Probabilistic Termination Tool Amber.

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

Published in: FM (2021)

Keyphrases

data driven
decision trees
software tools
machine learning
multiresolution
probabilistic model
generative model
neural network
genetic algorithm
image processing
search algorithm
user interface
user friendly
context sensitive
probabilistic networks