Reactive Proof Labeling Schemes for Distributed Decision

Jiaqi Chen, Shlomi Dolev, Shay Kutten

We generalize the definition of Proof Labeling Schemes to reactive systems, that is, systems where the configuration is supposed to keep changing forever. As an example, we address…