The field of model checking has evolved into a fundamental technique for verifying the correctness of software and hardware systems. At its core, model checking systematically explores the state space ...

We explore the asymptotic properties of strategic models of network formation in very large populations. Specifically, we focus on (undirected) exponential random graph models. We want to recover a ...

Several transformations have been suggested for proportions x. Most of these require that 0 < x < 1 and therefore fail when x = 0 or x = 1, which is quite common in practice. The paper proposes a ...