research
∙
04/23/2021
Monitoring Cumulative Cost Properties
This paper considers the problem of decentralized monitoring of a class ...
share
research
∙
12/12/2019
Smart Contract Repair
Smart contracts are automated or self-enforcing contracts that can be us...
research
∙
10/31/2018
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table
This paper presents a new technique for optimizing formal analysis of pr...
research
∙
03/06/2018