Results for "Mojmír Mutný"

total 2took 0.00s
Adaptive and Safe Bayesian Optimization in High Dimensions via One-Dimensional SubspacesFeb 08 2019Bayesian optimization is known to be difficult to scale to high dimensions, because the acquisition step requires solving a non-convex optimization problem in the same search space. In order to scale the method and keep its benefits, we propose an algorithm ... More
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-FragmentJun 19 2013Nov 06 2013Some applications of linear temporal logic (LTL) require to translate formulae of the logic to deterministic omega-automata. There are currently two translators producing deterministic automata: ltl2dstar working for the whole LTL and Rabinizer applicable ... More