Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.

Florian Funke Simon Jantsch Christel Baier

Published in: TACAS (1) (2020)

Keyphrases

bayesian networks
state space
access control
constrained optimization
probabilistic model
generative model
belief networks
linear constraints
multiple constraints
real time
learning algorithm
artificial intelligence
uncertain data