Runtime Verification of Multi-Agent Self-Adaptive System.

Xingyu Ye, Wei Liu, Ning Wang

Browse the full CSCWD paper archive.