TY  - RPRT
TI  - SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
AU  - Paapa Kwesi Quansah
AU  - Ernest Bonnah
PY  - 2026
UR  - https://arxiv.org/abs/2605.21676
ID  - 2605.21676
ER  -