Decentralized Asynchronous Crash-resilient Runtime Verification.
Borzoo BonakdarpourPierre FraigniaudSergio RajsbaumDavid A. RosenbluethCorentin TraversPublished in: J. ACM (2022)
Keyphrases
- asynchronous circuits
- multi agent
- model checking
- peer to peer
- cooperative
- peer to peer systems
- delay insensitive
- face verification
- formal verification
- information flow control
- distributed agents
- concurrent systems
- person identification
- multi agent systems
- reinforcement learning
- data sets
- online learning
- asynchronous communication
- high security
- verification method
- state machines
- decision trees
- decision making