@inproceedings{falcone:hal-01882413, TITLE = {{Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections}}, AUTHOR = {Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01882413}, BOOKTITLE = {{RV 2018 - 18th International Conference on Runtime Verification}}, ADDRESS = {Limassol, Cyprus}, PAGES = {1-5}, YEAR = {2018}, MONTH = Nov, PDF = {https://inria.hal.science/hal-01882413/file/rv18-invited.pdf}, HAL_ID = {hal-01882413}, HAL_VERSION = {v1}, }