Decentralized Stream Runtime Verification for Timed Asynchronous Networks
April 6, 2021
We study the problem of timed asynchronous decentralized monitoring of stream runtime verification specifications. In decentralized runtime verification, monitors are...
[ Read More ]
