6 citations · 18 across the 17 of their papers we have counts for
1 paper · 1 filter
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…