Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
We prove that longest common prefix (LCP) information can be stored in much less space than previously known. More precisely, we show that in the presence of the text and the su...
This paper presents a novel randomized motion planner for robots that must achieve a specified goal under kinematic and/or dynamic motion constraints while avoiding collision with...
David Hsu, Robert Kindel, Jean-Claude Latombe, Ste...
In a previous paper we considered the bilateral teleoperation of a wheeled mobile robot over communication channel with constant time delay. In this paper we present experimental ...
Oscar Martinez-Palafox, Dongjun Lee, Mark W. Spong...
Given a set of monomials, the Minimum AND-Circuit problem asks for a circuit that computes these monomials using AND-gates of fan-in two and being of minimum size. We prove that t...