MCMAS: an open-source model checker for the verification of multi-agent systems

A Mobile Data Analysis Framework for Environmental Health Decision Support, with Shayma Alkobaisi, Sada Narayanappa and Cheng Liu, Proceedings of the 9th International Conference

Suppose that by increasing the money supply by 23.8% the unemployment rate falls to 3%.. This rate is below the

We extend the Cornet-de Boisde¤re (2002-2009) asymmetric information …nite dimensional model to a more general setting, where agents may forecast prices with some private

The overall pooled estimate of 8 studies that compared different types of VR (such as computer 3D model and virtual world) with different controls (ie, computer-based 2D learning

Additionally, the study will contribute to research methods development in this area by detailing approaches to understand the effectiveness of online focus groups as a data

H2 : In the absence of fraud risk indicators, the difference between primed and unprimed auditors' self-critical professional judgments will be greatest when