0000000000667584
AUTHOR
Barbara König
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a solution together with an updated correctness proof. Furthermore, we analyse in whi…
Social flexibility and social evolution in mammals: a case study of the African striped mouse (Rhabdomys pumilio)
Environmental change poses challenges to many organisms. The resilience of a species to such change depends on its ability to respond adaptively. Social flexibility is such an adaptive response, whereby individuals of both sexes change their reproductive tactics facultatively in response to fluctuating environmental conditions, leading to changes in the social system. Social flexibility focuses on individual flexibility, and provides a unique opportunity to study both the ultimate and proximate causes of sociality by comparing between solitary and group-living individuals of the same population: why do animals form groups and how is group-living regulated by the environment and the neuro-en…