1 paper · 2 filters
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…