7 citations · 8 across the 4 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013
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…
cs.GT2013
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…