Extensive-form games with imperfect recall are an important game-theoretic model that allows a compact representation of strategies in dynamic strategic interactions. Practical use of imperfect recall games is limited due to negative theoretical results: a Nash equilibrium does not have to exist, computing maxmin strategies is NP-hard, and they may require irrational numbers. We present the fir...

In this paper, we investigate the problem of verifying pushdown multiagent systems with imperfect information. As the formal model, we introduce pushdown epistemic game structures (PEGSs), an extension of pushdown game structures with epistemic accessibility relations (EARs). For the specification, we consider extensions of alternating-time temporal logics with epistemic modalities: ATEL, ATEL∗...

The study of dislocations interacting with interfaces is of great interest to understand the strengthening and hardening mechanisms in materials. Most of the existing results in this field dealt with perfect interfaces where the displacements are continuous across interfaces. In reality, however, due to damage of interfaces or other reasons, the displacements across interfaces could have a jump...

In this paper, we conduct a simulation study to evaluate the impact of using imperfect advance demand information (ADI) in a single stage production/inventory system. We mean by ADI the fact that the production system receives customer orders in advance of their due-dates. We consider four types of ADI: 1) Perfect ADI, 2) ADI with imperfect due-dates, 3) ADI with imperfect demand quantities and...

With the advent of 5G and need for energy-efficient massively connected wireless networks, in this work, we consider an energy harvesting (EH) based multi-relay downlink cooperative non-orthogonal multiple access (NOMA) system with practical constraints. The base station serves NOMA users help decode-and-forward EH relays, where relays harvest from station's radio frequency. A relay is selected...

We investigate the consequences of imperfect data privacy on information acquisition of personal health data. In a game of persuasion with ex-ante symmetric information players decide on whether or not to acquire and reveal information about their personal health status to convince a decision maker to interact. We contrast three institutional settings: automatic dissemination of acquired inform...

We consider an inventory control problem where it is possible to collect some imperfect information on future demand. We refer to such information as imperfect Advance Demand Information (ADI), which may occur in different forms of applications. A simple example is a company that uses sales representatives to market its products, in which case the collection of sales representatives’ informatio...

In [1], we presented an example to show that using occupancy modelling to adjust for imperfect detection can make the bias worse than not making any adjustment for imperfect detection. The intuition behind the example is that imperfect detection is only one of a number of problems that can introduce measurement error into the data and it is a mistake to focus exclusively on only one kind of mea...