Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

We present a variant of ATL with distributed knowledge operators based on a synchronous and perfect recall semantics. The coalition modalities in this logic are based on partial observation of the full history, and incorporate a form of cooperation between members of the coalition in which agents issue their actions based on the distributed knowledge, for that coalition, of the system history. We show that model-checking is decidable for this logic. The technique utilizes two variants of games with imperfect information and partially observable objectives, as well as a subset construction for identifying states whose histories are indistinguishable to the considered coalition

Why are some coalitions more successful than others in setting standards? Empirical evidence from the Blu-ray vs. HD-DVD standard war

Standard-setting coalitions are increasingly composed of rival firms from different sectors and are characterized by simultaneous and/or sequential cooperation and competition among their members. This paper examines why firms choose to belong to two standard-setting coalitions instead of one and what determines the success of a standard coalition. We test empirically for network effect, experience effect, and coopetitive effect in the Blu-ray vs. HD-DVD standard war. We find that the higher the similarity of the members in the coalition, the greater the probability of standard coalition success. Furthermore, relatedness leads to a greater probability of joining both competing coalitions, but at a given degree of knowledge difference, an opposite effect exists.Blu-ray; HD-DVD; coalition; coopetition; standard war

Transactions, Transformations, Translations: Metrics that Matter for Building, Scaling, and Funding Social Movements

This report provides an evaluative framework and key milestones to gauge movement building. Aiming to bridge the gap between the field of community organizing that relies on the one-on-one epiphanies of leaders and the growing philanthropic emphasis on evidence-based giving, the report stresses three main insights. The first is that any good set of movement metrics should capture quantity and quality, numbers and nuance, transactions and transformations. They are related -- an energized leader with a clear power analysis (a transformative measure) may turn out more members for a coalition rally (a transactional measure) -- and the report offers a matrix that weaves together both types of metrics across ten different movement-building strategies. The second is that a movement is more than one organization -- and if the whole is to be greater than the sum of its parts, we must measure accordingly. While report includes measures of success at the organizational level, it attempts to move beyond and focus on whether groups can align and work together to create a more powerful force for social change -- suggesting that in the same way that movements need to scale up to face the challenges of our times, metrics, too, must expand to capture the whole. The third is that metrics must be co-created, not imposed. Recognizing the gravity of the times and hoping to gauge their effectiveness, movement builders are eager to come up with a common language and framework for themselves -- and are developing the tools and capacities to do so. The report suggests that the funder-grantee relationship can build on this wisdom in the field and develop a set of evaluative measures that are not onerous requirements but tools for mutual accountability. The report also offers a set of recommendations to funders and the field, ranging from practical steps (like building a new toolbox of measures, improving the capacity to use them, and documenting innovation and experimentation) to more far-reaching suggestions about leadership development, the connection of policy outcomes with broader social change, and the need to generate movement-level measures. We, at USC PERE, hope this report contributes to a conversation about how to best capture transformations as well as transactions in social movement organizing, and how to build the broader public and philanthropic support necessary to realize the promise of a more inclusive America

Who Isn’t Biased? Perceived Bias as a Dimension of Credibility in Communication of Science with Policymakers

Identifying the determinants of success in communicating scientific information for use in policymaking has been a topic of longstanding interest for many fields. Perceptions of message and messenger credibility are recognized in many disciplines as key to information receptivity, and subsequent changes in attitudes, by decision-makers. Bias also appears as a component of credibility, but is not theoretically well-defined, and its effects can appear inconsistent. This study—comprised of interviews with congressional staff members with energy, environment, and science portfolios (n=16)—finds that perceptions of bias and expertise play a critical role in the way in which policymakers evaluate scientific information sources, building on early research on credibility and opinion change

Business Critical: Understanding a Company’s Current and Desired Stages of Corporate Responsibility Maturity

It’s been a while since the Corporate Responsibility profession took stock of its collective wisdom on where we have been, and where we are going on running businesses responsibly. Meanwhile hardly a week goes by without a helpful suggestion from the outside world on how an organisation should improve its economic value, social usefulness and environmental efficiency; and it is very easy to spot businesses that get their social, environmental and economic decisions out of balance: these organisations hit the headlines seemingly within nanoseconds. On the upside, businesses are increasingly taking an approach that builds an Environmental, Social and Governance (ESG) premium into the core economic valuation. This is achieved by those organisations which bring in a diverse set of views to inform risk and reputation management activities, and to build a research and development pipeline for the future. This is managing both the negative and the positive social, environmental and economic impacts

Why are some coalitions more successful than others in setting standards? Empirical evidence from the Blu-ray vs. HD-DVD standard war

Standard-setting coalitions are increasingly composed of rival firms from different sectors and are characterized by simultaneous and/or sequential cooperation and competition among their members. This paper examines why firms choose to belong to two standard-setting coalitions instead of one and what determines the success of a standard coalition. We test empirically for network effect, experience effect, and coopetitive effect in the Blu-ray vs. HD-DVD standard war. We find that the higher the similarity of the members in the coalition, the greater the probability of standard coalition success. Furthermore, relatedness leads to a greater probability of joining both competing coalitions, but at a given degree of knowledge difference, an opposite effect exists

Community Development in Dynamic Neighborhoods: Synchronizing Services and Strategies with Immigrant Communities

Community development organizations must be increasingly cognizant of and responsive to their changing neighborhoods. Major demographic factors related to the growth and influx of recent immigrants to the United States are having a notable impact on many communities. Through a review of current research and interviews with leading experts and practitioners of community development organizations, private lenders and governmental agencies, this analysis explores (1) the importance of immigrants in community development, (2) the response of community development organizations to recent demographic shifts, and (3) the challenges and opportunities practitioners face when connecting immigrants to their communities.Despite growing research about the implications of immigrant markets for the private sector, there is little research about the role and contributions of community development organizations in the integration of new immigrants. Immigration trends and characteristics are different today than those of the late nineteenth and early twentieth centuries. This research concludes that these new demographics drive much of the dynamic change in cities across the United States. CDOs can best address the changes at the local level, but need more data and market analysis of neighborhood trends. These organizations are in a key position to connect newcomers not only to long-term housing, but also to business development, jobs and leadership opportunities through strategic partnerships and planning

Verification of Multi-Agent Properties in Electronic Voting: A Case Study

Formal verification of multi-agent systems is hard, both theoretically and in practice. In particular, studies that use a single verification technique typically show limited efficiency, and allow to verify only toy examples. Here, we propose some new techniques and combine them with several recently developed ones to see what progress can be achieved for a real-life scenario. Namely, we use fixpoint approximation, domination-based strategy search, partial order reduction, and parallelization to verify heterogeneous scalable models of the Selene e-voting protocol. The experimental results show that the combination allows to verify requirements for much more sophisticated models than previously