As suggested by the title of Shoham, Powers, and Grenager’s position paper [34], the ultimate lens through which the multi-agent learning framework should be assessed is “what...
Abstract. This paper investigates a non-commutative first-order sequent calculus NCLK. For that, this paper extends a non-commutative positive fragment to a full first-order sequ...
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
— The paper describes the control and the navigation of a skiing robot that is capable of autonomous skiing on a ski slope using the carving skiing technique. Based on a complex ...
Abstract— This paper proposes a global asymptotic stabilizing control law for a quad-rotor helicopter with bounded inputs. The proposed control design exploits the technique base...