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∗...

This paper analyzed 96 current electronic negotiation models concerning their ability to handle imperfect information situations. The results of the empirical investigation show that most of the negotiation models assume imperfect information situations but mainly related to the negotiation partner. Research on imperfect described environments and negotiation items are not sufficient represente...

Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system’s control states and stack content). For standard CTL, PMC w...

In real-life, imperfect information is commonly present in all the components of the decision making problem. In decision making problems a DM is almost never provided with perfect, that is ideal decision relevant information to determine states of nature, outcomes, probabilities, etc. We are known that, relevant information almost always comes imperfect. Imperfect information is information wh...

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...

This paper discusses a case study of the board game of Scotland Yard from a computational perspective. Interestingly, Scotland Yard is a genuine “playgame” with imperfect information. For reasons not completely clear to me, games with imperfect information have escaped the interest of researchers in Algorithmic combinatorial gametheory. I show by means of a powerset argument, that Scotland Yard...

Privacy regulations can affect the willingness to collect personal health data that may be disclosed to insurers. Perfect privacy cannot always be guaranteed. Consequently, people may refrain from collecting personal health data. This paper provides a theoretical and experimental analysis of the importance of privacy regulations for information acquisition and disclosure behavior. We contrast t...