8828 search results - page 1558 / 1766 » Formal methods in practice |
158
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— In the last decades, tremendous progress has been made in the field of autonomous indoor navigation for mobile robots. However, these approaches assume the structural part of ...
115
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
111
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— This work addresses mission planning for autonomous underwater gliders based on predictions of an uncertain, time-varying current eld. Glider submersibles are highly se...
145
click to vote
IEE
2010
15 years 3 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
182
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Over the past years, location-based routing protocols have been studied extensively in mobile ad hoc networks (MANETs). However, how to efficiently provide the location ...