Decentralized Stream Runtime Verification for Timed Asynchronous Networks.
Luis Miguel DanielssonCésar SánchezPublished in: CoRR (2023)
Keyphrases
- asynchronous circuits
- structured peer to peer
- petri net
- model checking
- cooperative
- neural network
- complex networks
- data streams
- real time
- peer to peer
- network structure
- overlay network
- social networks
- asynchronous communication
- colored petri nets
- timed automata
- multi agent
- decision making
- network design
- stream data
- verification method