8 citations · 22 across the 17 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Model-checking Counting Temporal Logics on Flat Structures
Normann Decker, Peter Habermehl, Martin Leucker +2
We study several extensions of linear-time and computation-tree temporal logics with quantifiers that allow for counting how often certain properties hold. For most of these extens…
cs.DC2017
Parameterized Verification of Algorithms for Oblivious Robots on a Ring
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru +1
We study verification problems for autonomous swarms of mobile robots that self-organize and cooperate to solve global objectives. In particular, we focus in this paper on the mode…