Navigating the world is no mean feat, especially when the world pushes back. For instance, airflow hitting a fly on its right side can, after a turn, become a headwind. To stay on course, the fly's ...
Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...
Abstract: This paper studies the control-oriented recursive identification of finite impulse response systems with binary-valued observations. Inspired by the Maximum Likelihood method, a novel ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results