Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.
Davide AnconaAngelo FerrandoViviana MascardiPublished in: CILC (2022)
Keyphrases
- model checking
- probabilistic model
- uncertain data
- multi agent
- real world
- distributed systems
- natural language
- bayesian networks
- cooperative
- website
- signature verification
- generative model
- mathematical expressions
- formal verification
- information theoretic
- peer to peer
- database systems
- social networks
- neural network
- formal analysis
- computer vision
- web services
- case study
- probabilistic approaches