1 paper · 1 filter
Tom Cornebize, Yliès Falcone
The main contribution of this paper is an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation of any regular specification by…