5216 search results - page 354 / 1044 » Planning as Model Checking |
131
click to vote
ICMLA
2008
15 years 6 months ago
2008
This paper treats the problem of distributed planning in general-sum stochastic games with communication when the model is known. Our main contribution is a novel, game theoretic ...
119
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— This paper is concerned with path planning for an autonomous flight vehicle operating in a steady, uniform flow-field. We model the vehicle as a particle that travels in the...
139
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...
144
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper we present a framework for grasp planning with a humanoid robot arm and a five-fingered hand. The aim is to provide the humanoid robot with the ability of grasp...
136
Voted
ICAIL
2005
ACM
15 years 10 months ago
2005
ACM
The transcripts of oral arguments before the US Supreme Court provide interesting opportunities from the viewpoint of legal education. As the pinnacle of legal argumentation, they...