Farkas certificates and minimal witnesses for probabilistic reachability constraints.
Florian FunkeSimon JantschChristel BaierPublished in: CoRR (2019)
Keyphrases
- constraint satisfaction
- bayesian networks
- probabilistic model
- data driven
- constrained optimization
- soft constraints
- access control
- database
- generative model
- probabilistic logic
- probability theory
- mixed integer
- resource constraints
- probabilistic reasoning
- constraint programming
- frequent patterns
- co occurrence
- state space
- hidden markov models
- reinforcement learning
- genetic algorithm