Night vision devices provide enormous benefits. They enable personnel to carry out operations under conditions that would not otherwise be possible. However, these benefits carry c...
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
: The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always...
William S. Greenwell, Elisabeth A. Strunk, John C....
: This article discusses the development of a model that defines the optimal sampling behaviour of operators in a multi-task flight simulation, where one of the tasks is automated....
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
In business marketing, corporations and institutions are interested in executing a sequence of marketing actions to affect a group of customers. For example, a financial instituti...
This paper presents a novel idea, which combines Planning, Machine Learning and Knowledge-Based techniques. It is concerned with the development of an adaptive planning system tha...
Dimitris Vrakas, Grigorios Tsoumakas, Nick Bassili...
Scheduling algorithms for real-time systems can be characterized in various ways, one of the most important ones of which is the underlying task model. Many concepts of real-time ...
There have been several proposals for expressing planning problems with different forms of uncertainty, including nondeterminism and partial observability. In this paper we invest...