— Libraries of trajectories are a promising way of creating policies for difficult problems. However, often it is not desirable or even possible to create a new library for ever...
Martin Stolle, Hanns Tappeiner, Joel E. Chestnutt,...
A good shape descriptor is necessary for automatically identifying landmarks on boundaries. Our method of boundary shape description is based on the notion of cscale, which is a n...
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
We present preliminary results of the numerical simulation of electrocardiograms (ECG). We consider the bidomain equations to model the electrical activity of the heart and a Lapla...
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...