Sciweavers

308 search results - page 38 / 62
» Temporal Plan Interdependencies
Sort
View
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
15 years 4 months ago
Managing non-determinism in symbolic robot motion planning and control
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Marius Kloetzer, Calin Belta
AIPS
2008
15 years 3 days ago
Criticality Metrics for Distributed Plan and Schedule Management
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...
Rajiv T. Maheswaran, Pedro A. Szekely
IV
2009
IEEE
114views Visualization» more  IV 2009»
15 years 4 months ago
Chronos: A Tool for Interactive Scheduling and Visualisation of Task Hierarchies
Visualisation and structuring of tasks in a schedule, from relatively simple activities such as meeting scheduling to more complex ones such as project planning, has been traditio...
Saturnino Luz, Masood Masoodian, Daniel McKenzie, ...
FLAIRS
2009
14 years 7 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
ATAL
2005
Springer
15 years 3 months ago
A polynomial algorithm for decentralized Markov decision processes with temporal constraints
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
Aurélie Beynier, Abdel-Illah Mouaddib