7 citations · 8 across the 4 of their papers we have counts for
4 papers
A Parallel Linear Temporal Logic Tableau
John C. McCabe-Dansted, Mark Reynolds
For many applications, we are unable to take full advantage of the potential massive parallelisation offered by supercomputers or cloud computing because it is too hard to work out…
Specifying Robustness
John C. McCabe-Dansted, Tim French, Mark Reynolds +1
This paper proposes a new logic RoCTL* to model robustness in concurrent systems. RoCTL* extends CTL* with the addition of Obligatory and Robustly operators, which quantify over fa…
Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality
Dodge Cahan, John McCabe-Dansted, Arkadii Slinko
We use Hotelling's spatial model of competition to investigate the position-taking behaviour of political candidates under a class of electoral systems known as scoring rules. In a…
Dodgson's Rule Approximations and Absurdity
John C. McCabe-Dansted
With the Dodgson rule, cloning the electorate can change the winner, which Young (1977) considers an "absurdity". Removing this absurdity results in a new rule (Fishburn, 1977) for…