125 search results - page 11 / 25 » A Temporal Logic-Based Planning and Execution Monitoring Sys... |
89
Voted
AAAI
2010
15 years 1 months ago
2010
In this paper, we present an integrated planning and robotic architecture that actively directs an agent engaged in an urban search and rescue (USAR) scenario. We describe three s...
114
Voted
TITS
2011
14 years 6 months ago
2011
—Due to modern pervasive wireless technologies and high-performance monitoring systems, spatio-temporal information plays an important role in areas such as intelligent transport...
104
click to vote
AAAI
2008
15 years 2 months ago
2008
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
73
Voted
RV
2007
Springer
15 years 5 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
IJCAI
1989
15 years 25 days ago
1989
We are interested here in the design of a very efficient Time-Map Manager, able to deal with a large knowledge-base of several thou sand time-tokens in demanding applications su...