BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes.

Ricardo M. Czekster Charles Morisset

Published in: EDCC (2021)

Keyphrases

markov processes
boolean logic
random fields
stochastic processes
markov process
continuous time bayesian networks
probabilistic model
image segmentation
model selection
graphical models
maximum likelihood
markov chain