PET - A Partial Exploration Tool for Probabilistic Verification.

Tobias Meggendorfer

Published in: ATVA (2022)

Keyphrases

uncertain data
visualization tool
bayesian networks
real time
context sensitive
probabilistic logic
interactive exploration
probabilistic approaches
data sets
website
learning environment
data driven
model checking
information theoretic
conditional probabilities
software tools