A new paper under the title Runtime Verification of Autonomous Driving Systems in CARLA was published in the 20th Int. Conference on Runtime verification (RV 2020) by Eleni Zapridou, final year student (now PhD student in EPFL), Prof. Ezio Bartocci (TU Wien) and Prof. Panagiotis Katsaros. The paper refers to an extension of the well known urban driving simulator CARLA for online monitoring specifications of autonomous driving systems in Signal Temporal Logic. The paper is available online at https://doi.org/10.1007/978-3-030-60508-7_9, whereas a preprint is available at https://depend.csd.auth.gr/papers/#.