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

Davide Ancona, Angelo Ferrando, Viviana Mascardi

Browse the full EUMAS paper archive.