Bayesian Optimisation with Formal Guarantees.
Franz BraußeZurab KhasidashviliKonstantin KorovinPublished in: CoRR (2021)
Keyphrases
- genetic algorithm
- bayesian networks
- bayesian analysis
- formal specification
- data driven
- maximum likelihood
- formal model
- operational semantics
- bayesian learning
- bayesian methods
- posterior distribution
- posterior probability
- formal models
- mathematical theory
- optimisation algorithm
- real time
- bayesian decision
- decision making
- information systems
- information retrieval
- databases
- data sets