Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) (ArXiv cs.LO Recent Papers, 2026)