Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions