Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness.
Yanhong A. LiuScott D. StollerPublished in: CoRR (2020)
Keyphrases
- distributed computation
- distributed systems
- safety critical
- orders of magnitude
- learning algorithm
- data structure
- cooperative
- computational complexity
- computing environments
- computationally efficient
- theoretical analysis
- safety analysis
- computing systems
- fault tolerant
- distributed environment
- times faster
- benchmark datasets
- optimization problems
- management system
- computational cost
- significant improvement
- multi agent
- reinforcement learning