40 search results - page 7 / 8 » Planning for Temporally Extended Goals as Propositional Sati... |
IJCAI
1997
13 years 7 months ago
1997
The New Millennium Remote Agent (NMRA) will be the rst on-board AI system to control an actual spacecraft. The spacecraft domain raises a number of challenges for planning and exe...
HYBRID
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
KR
1991
Springer
13 years 9 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
BMVC
2010
13 years 1 months ago
2010
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...
INFOCOM
2009
IEEE
14 years 27 days ago
2009
IEEE
—Wireless mesh networks are becoming prevalent in providing access infrastructure to the public. Design of such networks involve several important goals including resilience to f...