33 citations · 65 across the 13 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★ 5 cited
The Complexity of Synthesizing Uniform Strategies
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. T…