125 search results - page 12 / 25 » A Temporal Logic-Based Planning and Execution Monitoring Sys... |
105
click to vote
IJCAI
1993
15 years 1 months ago
1993
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
108
Voted
LOGCOM
2010
14 years 6 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
191
Voted
Publication
This paper presents the Scalable On-Line Execution algorithm (SOLE, for short) for continuous and on-line evaluation of concurrent continuous spatio- temporal queries over data str...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
FCS
2007
15 years 1 months ago
2007
In many task-planning domains, dynamic assemblies of autonomous agents are replacing hierarchical organisations because they promise more agility. In such assemblies, interdepende...