Recently, Hummel and Landy proposed a variation on the Dempster/Shafer theory of evidence that tracks only the first and second order statistics of the opinions of sets of experts. This extension permits the tracking of statistics of probabilistic opinions, however, as opposed to tracking merely Boolean opinions (or possibilities within the "frame of discernment"). Both the Dempster/Shafer form...

| In this paper, we present an practical synthesis method using unfoldings which are based on partial order semantics and hence free of state space explosion inherently. In addition, we suggest several conditions for basic gate implementation in order to enhance practicality of the suggested method.

model, then there should not exist a policy that leads from s′ to s in the original

This paper studies a principal-agent problem where the only commitment for the uninformed principal is to restrict the set of decisions she makes following a report by the informed agent. We show that an ex ante optimal equilibrium for the principal corresponds to a finite partition of the state space, and each retained decision is ex post suboptimal for the principal, biased toward the agent’s...

The existence of a common prior is a property of the state space used to model the players’ incomplete information. We show that this property is not just a technical artifact of the model, but that it is immanent to the players’ beliefs. To this end, we devise a condition, phrased solely in terms of the players’ mutual beliefs about the basic, objective issues of possible uncertainty, which is...

as usual. In more general cases, the right hand side of the differential equation contains more arguments. It also happens that the delay is given only implicitly by an equation which involves the history xt of the state. Differential equations with state-dependent delay share the property that the results on the uniqueness and dependence on initial data from the theory of retarded functional d...