Fangzhen Lin and Yoav Shoham defined a propositional nonmonotonic logic which uses two independent modal operators. One of them represents minimal knowledge, the other is related to the ideas of ...
"""Public method for creating a score function object.""" # as hadd,hmax or hadd,hmax,lmcut. # score_name can be any of {"energy", "count"}. # lookaheaddepth can be any non-negative integer. heuristic ...
Abstract: Signal Temporal Logic (STL) offers an expressive formalism for describing complex high-level tasks in dynamical systems. This paper introduces a time-varying Control Barrier Function (CBF) ...
Abstract: The initial steps of logic synthesis of digital designs involve finding minimized representations of Boolean logic functions. Existing optimization methods rely on iterative minimization ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results