@inproceedings{pinisetty:hal-01244369, TITLE = {{Predictive Runtime Enforcement *}}, AUTHOR = {Pinisetty, Srinivas and Preoteasa, Viorel and Tripakis, Stavros and J{\'e}ron, Thierry and Falcone, Yli{\`e}s and Marchand, Herv{\'e}}, URL = {https://inria.hal.science/hal-01244369}, BOOKTITLE = {{SAC 2016 31st ACM Symposium on Applied Computing}}, ADDRESS = {Pisa, Italy}, ORGANIZATION = {{ACM}}, PUBLISHER = {{ACM}}, PAGES = {1628-1633}, YEAR = {2016}, MONTH = Apr, DOI = {10.1145/2851613.2851827}, KEYWORDS = {Monitoring ; Runtime enforcement ; Automata ; Monitor synthesis}, PDF = {https://inria.hal.science/hal-01244369/file/Final-Version.pdf}, HAL_ID = {hal-01244369}, HAL_VERSION = {v1}, }