@inproceedings{gallay:hal-03525845, TITLE = {{Decentralized LTL Enforcement}}, AUTHOR = {Gallay, Florian and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-03525845}, BOOKTITLE = {{GandALF 2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification}}, ADDRESS = {Padua, France}, PAGES = {1-18}, YEAR = {2021}, MONTH = Sep, PDF = {https://inria.hal.science/hal-03525845/file/gandalf21.pdf}, HAL_ID = {hal-03525845}, HAL_VERSION = {v1}, }