MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

We introduce MCMAS-SLK, a BDD-based model checker for the verification of systems against specifications expressed in a novel, epistemic variant of strategy logic. We give syntax and semantics of the specification language and introduce a labelling algorithm for epistemic and strategy logic modalities. We provide details of the checker which can also be used for synthesising agents' strategies so that a specification is satisfied by the system. We evaluate the efficiency of the implementation by discussing the results obtained for the dining cryptographers protocol and a variant of the cake-cutting problem

Behavioural Economics: Classical and Modern

In this paper, the origins and development of behavioural economics, beginning with the pioneering works of Herbert Simon (1953) and Ward Edwards (1954), is traced, described and (critically) discussed, in some detail. Two kinds of behavioural economics – classical and modern – are attributed, respectively, to the two pioneers. The mathematical foundations of classical behavioural economics is identified, largely, to be in the theory of computation and computational complexity; the corresponding mathematical basis for modern behavioural economics is, on the other hand, claimed to be a notion of subjective probability (at least at its origins in the works of Ward Edwards). The economic theories of behavior, challenging various aspects of 'orthodox' theory, were decisively influenced by these two mathematical underpinnings of the two theoriesClassical Behavioural Economics, Modern Behavioural Economics, Subjective Probability, Model of Computation, Computational Complexity. Subjective Expected Utility

Resources, Capabilities, and Routines in Public Organization

States, state agencies, multilateral agencies, and other non-market actors are relatively under-studied in the strategic entrepreneurship literature. While important contributions examining public decision makers have been made within the agency-theoretic and transaction-cost traditions, there is little research that builds on resource-based, dynamic capabilities, and behavioral approaches to organizations. Yet public organizations can be usefully characterized as stocks of physical, organizational, and human resources; they interact with other organizations in pursuing a type of competitive advantage; they can possess excess capacity, and may grow and diversify in part according to Penrosean (dynamic) capabilities and behavioral logic. Public organizations may be managed as stewards of resources, capabilities, and routines. This paper shows how resource-based, (dynamic) capabilities, and behavioral approaches shed light on the nature and governance of public organizations and suggests a research agenda for public entrepreneurship that reflects insights gained from applying strategic management theory to public organization.

Context-aware adaptation in DySCAS

DySCAS is a dynamically self-configuring middleware for automotive control systems. The addition of autonomic, context-aware dynamic configuration to automotive control systems brings a potential for a wide range of benefits in terms of robustness, flexibility, upgrading etc. However, the automotive systems represent a particularly challenging domain for the deployment of autonomics concepts, having a combination of real-time performance constraints, severe resource limitations, safety-critical aspects and cost pressures. For these reasons current systems are statically configured. This paper describes the dynamic run-time configuration aspects of DySCAS and focuses on the extent to which context-aware adaptation has been achieved in DySCAS, and the ways in which the various design and implementation challenges are met

The Complexity of Synthesizing Uniform Strategies

We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not \mu-calculus definable. Typically, we can state that a strategy is observation-based. We propose a formal language to specify uniformity properties, interpreted over two-player turn-based arenas equipped with a binary relation between plays. This way, we capture e.g. games with winning conditions expressible in epistemic temporal logic, whose underlying equivalence relation between plays reflects the observational capabilities of agents (for example, synchronous perfect recall). Our framework naturally generalizes many other situations from the literature. We establish that the problem of synthesizing strategies under uniformity constraints based on regular binary relations between plays is non-elementary complete.Comment: In Proceedings SR 2013, arXiv:1303.007

Antecedents of Effective Decision Making: A Cognitive Approach

Decision-making effectiveness has been associated with how well managers adapt their cognitive style to task requirements. In this paper, theories regarding decision-making under uncertainty and the use of judgment and intuition are reviewed and integrated. Cognitive Continuum Theory (CCT), positing a one-dimensional continuum of cognitive styles anchored by intuition and analysis, is extended: Four fundamental decision styles are identified and evaluated for their relative effectiveness under various task conditions. Propositions are developed with respect to the relationships between decision task characteristics and the likelihood of using two cognitive systems, and with respect to potential moderators of decision-making effectiveness. The propositions are integrated into a comprehensive theoretical model. Major contributions of the study are a conceptual clarification of the distinctions between intuition, heuristics and bounded rationality on the one hand, and the assessment of the scope of various cognitive styles as well as the identification of moderators of their effectiveness on the other. Research implications and some suggestions for managerial practice are provided.Economics ;

Evolution of Supply Chain Collaboration: Implications for the Role of Knowledge

Increasingly, research across many disciplines has recognized the shortcomings of the traditional “integration prescription” for inter-organizational knowledge management. This research conducts several simulation experiments to study the effects of different rates of product change, different demand environments, and different economies of scale on the level of integration between firms at different levels in the supply chain. The underlying paradigm shifts from a static, steady state view to a dynamic, complex adaptive systems and knowledge-based view of supply chain networks. Several research propositions are presented that use the role of knowledge in the supply chain to provide predictive power for how supply chain collaborations or integration should evolve. Suggestions and implications are suggested for managerial and research purposes