You are about to access our book library "Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science Book 14245) full version" .