Sciweavers

308 search results - page 33 / 62
» Temporal Plan Interdependencies
Sort
View
ATAL
2008
Springer
15 years 1 months ago
AERIAL: hypothetical trajectory planning for multi-UAVs coordination and control
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...
Paul-Edouard Marson, Michaël Soulignac, Patri...
ARTMED
2005
92views more  ARTMED 2005»
14 years 11 months ago
Temporal reasoning for decision support in medicine
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
Juan Carlos Augusto
ATAL
2009
Springer
15 years 6 months ago
Agent programming with temporally extended goals
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
Koen V. Hindriks, Wiebe van der Hoek, M. Birna van...
IJCAI
2003
15 years 1 months ago
Temporal Reasoning with Preferences and Uncertainty
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
Neil Yorke-Smith, Kristen Brent Venable, Francesca...
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
15 years 6 months ago
From structured english to robot motion
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....