The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin...
— We explore motion planning for a new class of highly flexible bevel-tip medical needles that can be steered to previously unreachable targets in soft tissue. Planning for thes...
Ron Alterovitz, Kenneth Y. Goldberg, Allison M. Ok...
- Needle steering is a commonly used technique in the medical field as it enables physicians to more precisely reach the target tissue. In this paper we describe our interest in ne...
Jienan Ding, Dan Stoianovici, Doru Petrisor, Pierr...
This paper presents an approach for generating steering behaviors of groups of characters based on the space colonization algorithm, that has been used in the past for generating l...
— In this paper, we consider the surveillance problem of maintaining visibility at a fixed distance of a mobile evader using a mobile robot equipped with sensors. Optimal motion...
Teja Muppirala, Rafael Murrieta-Cid, Seth Hutchins...