Assertion: robot swarm | /r/HasProperty | dixon et al.
Facets:
Source sentences:
text: Another common approach is the use of Markov chains, which allow researchers to formally verify properties of a robot swarm (Dixon et al., 2012; Konur et al., 2012; Massink et al., 2013).