Stream-based Decentralized Runtime Verification.
Ritam GangulyBorzoo BonakdarpourPublished in: CoRR (2023)
Keyphrases
- data streams
- cooperative
- real time
- model checking
- multi agent
- face verification
- distributed systems
- concurrent systems
- sliding window
- genetic algorithm
- distributed agents
- database systems
- query processing
- expert systems
- temporal logic
- stream processing
- person identification
- incoming data
- high security
- verification method
- computer vision
- artificial intelligence
- security administration