in this paper, we consider an  i.e., multiple step-stress accelerated life testing (alt) experiment with unequal duration of time . it is assumed that the time to failure of a product follows rayleigh distribution with a log-linear relationship between stress and lifetime and also we assume a generalized khamis-higgins model for the effect of changing stress levels. taking into account that the...

In this paper, we consider an  i.e., multiple step-stress accelerated life testing (ALT) experiment with unequal duration of time . It is assumed that the time to failure of a product follows Rayleigh distribution with a log-linear relationship between stress and lifetime and also we assume a generalized Khamis-Higgins model for the effect of changing stress levels. Taking into account that the...

We consider the problem of finding provably correct generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification, a goal condition, and a class of concrete problem instances or initial states to be solved, expressed in an abstract first-order representation. Starting with an empty generalized plan, our overall app...

Given a game in extensive form and a player p in the game, we want to find a small set of parameters describing a set M of mixed strategies with the property that every mixed strategy for p has an equivalent mixed strategy in M. In the case that the player has perfect recall, behavioral strategies describe such a set. [2] For computational purposes, it is more useful to work with corresponding ...

Generalized planning is concerned with the characterization and computation of plans that solve many instances at once. In the standard formulation, a generalized plan is a mapping from feature or observation histories into actions, assuming that the instances share a common pool of features and actions. This assumption, however, excludes the standard relational planning domains where actions a...

Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption of products/services by consumers, spread of a given disease) “diffuse” through the network. Some of these diffusion models can be expressed via generalized annotated programs (GAPs). In this paper, we consider the following pro...