  The distributed monitoring of swarms of devices cooperating to common global
goals is becoming increasingly important, as such systems are employed for
critical applications, e.g., in search and rescue missions during emergencies.
In this paper, we target the distributed run-time verification of global
properties of a swarm expressed as logical formulas in a temporal logic. In
particular, for the implementation of decentralized monitors, we adopt the
Field Calculus (FC) language, and exploit the results of previous works which
have shown the possibility of automatically translating temporal logic formulas
into FC programs. The main limitation of such works lies in the fact that the
formulas are expressed in the past-CTL logic, which only features past
modalities, and is therefore ineffective in predicting properties about the
future evolution of a system. In this paper, we inject some limited prediction
capability into the past-CTL logic by providing an extended semantics on a
multi-valued logic, then assessing how this affects the automated translation
into field calculus monitors.

Software Engineering