Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand. Optimal enforcement of (timed) properties with uncontrollable events. Mathematical Structures in Computer Science, 29(1):169-214, 2019. [doi]
@article{RenardFRJM19,
title = {Optimal enforcement of (timed) properties with uncontrollable events},
author = {Matthieu Renard and Yliès Falcone and Antoine Rollet and Thierry Jéron and Hervé Marchand},
year = {2019},
doi = {10.1017/S0960129517000123},
url = {https://doi.org/10.1017/S0960129517000123},
researchr = {https://researchr.org/publication/RenardFRJM19},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {29},
number = {1},
pages = {169-214},
}