In this paper the design goals for a new, open and modular, four-legged robot platform are described that was developed in reaction to the open call for a standard platform issued ...
Martin Friedmann, Sebastian Petters, Max Risler, H...
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...
Abstract. In this paper we consider the problem of active mobile robot localization with range sensors in outdoor environments. In contrast to passive approaches our approach activ...
When an outdoor mobile robot traverses different types of ground surfaces, different types of vibrations are induced in the body of the robot. These vibrations can be used to learn...