2 papers
cs.LG2021
Bayesian Optimisation with Formal Guarantees
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Application domains of Bayesian optimization include optimizing black-box functions or very complex functions. The functions we are interested in describe complex real-world system…
cs.LO2015
Word-level Symbolic Trajectory Evaluation
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger +4
Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at…