Chance-constrained probabilistic simple temporal problems
Scheduling under uncertainty is essential to many autonomous systems and logistics tasks.
Probabilistic methods for solving temporal problems exist which quantify and attempt to …
Probabilistic methods for solving temporal problems exist which quantify and attempt to …
Dynamic controllability via timed game automata
Temporal networks are data structures for representing and reasoning about temporal
constraints on activities. Many kinds of temporal networks have been defined in the …
constraints on activities. Many kinds of temporal networks have been defined in the …
[HTML][HTML] Strong temporal planning with uncontrollable durations
Planning in real world domains often involves modeling and reasoning about the duration of
actions. Temporal planning allows such modeling and reasoning by looking for plans that …
actions. Temporal planning allows such modeling and reasoning by looking for plans that …
Sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation
Temporal networks are data structures for representing and reasoning about temporal
constraints on activities. Many kinds of temporal networks have been defined in the …
constraints on activities. Many kinds of temporal networks have been defined in the …
Resolving uncontrollable conditional temporal problems using continuous relaxations
Uncertainty is commonly encountered in temporal scheduling and planning problems, and
can often lead to over-constrained situations. Previous relaxation algorithms for over …
can often lead to over-constrained situations. Previous relaxation algorithms for over …
Solving strong controllability of temporal problems with uncertainty using SMT
Abstract Temporal Problems (TPs) represent constraints over the timing of activities, as
arising in many applications such as scheduling and temporal planning. A TP with …
arising in many applications such as scheduling and temporal planning. A TP with …
Timelines with temporal uncertainty
Timelines are a formalism to model planning domains where the temporal aspects are
predominant, and have been used in many real-world applications. Despite their practical …
predominant, and have been used in many real-world applications. Despite their practical …
Dynamic controllability of disjunctive temporal networks: Validation and synthesis of executable strategies
Abstract The Temporal Network with Uncertainty (TNU) modeling framework is used to
represent temporal knowledge in presence of qualitative temporal uncertainty. Dynamic …
represent temporal knowledge in presence of qualitative temporal uncertainty. Dynamic …
[HTML][HTML] Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
N Bhargava, BC Williams - Artificial Intelligence, 2019 - Elsevier
In temporal planning, many different temporal network formalisms are used to model real
world situations. Each of these formalisms has different features which affect how easy it is to …
world situations. Each of these formalisms has different features which affect how easy it is to …
Strong temporal planning with uncontrollable durations: a state-space approach
In many practical domains, planning systems are required to reason about durative actions.
A common assumption in the literature is that the executor is allowed to decide the duration …
A common assumption in the literature is that the executor is allowed to decide the duration …