Decentralized LTL Enforcement. - Florian Gallay; Yliès Falcone (GandALF, 2021)

Decent: A Benchmark for Decentralized Enforcement. - Florian Gallay; Yliès Falcone (RV, 2022)