Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings - Katsaros, Panagiotis. (Springer, 2023)