5 citations · 5 across the 1 of their papers we have counts for
1 paper
Florian Gallay, Yliès Falcone
We consider the runtime enforcement of Linear-time Temporal Logic formulas on decentralized systems with no central observation point nor authority. A so-called enforcer is attache…