Executable models play a key role in many development methods by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable models include a fine-grained specification of the system behaviour. Unfortunately, a quick and easy way to check the correctness of behavioural specifications is still missing, which compromises their...

We analyze data from the legislative bargaining experiments reported in Frechette, Kagel, and Lehrer (2003), Frechette, Kagel, and Morelli (2005a,b), and Drouvelis, Montero, and Sefton (2010) in order to investigate the extent to which the observed deviations from the theoretical predictions can be explained by imperfect best response, in combination with different assumptions about correct (QR...

In this interesting paper Professor Nikiforov reviewed the current state of quickest change detection/isolation problem. In our discussion of his paper we focus on the concerns and the opportunities of the subfield of quickest change detection, or more generally, sequential methodologies, in the modern

The Logit version of Quantal Response Equilibrium (QRE) predicts that equilibrium behavior in games will vary systematically with payoff magnitudes, if all other factors are held constant (including the Nash equilibria of the game). We explore this in the context of a set of asymmetric 2×2 games with unique totally mixed strategy equilibria. The data provide little support for the payoff magnit...