Login / Signup
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.
Idan Berkovits
Marijana Lazic
Giuliano Losa
Oded Padon
Sharon Shoham
Published in:
CAV (2) (2019)
Keyphrases
</>
orders of magnitude
multi agent
significant improvement
computational cost
computationally efficient
neural network
computational complexity
data structure
distributed systems
theoretical analysis
model checking
times faster
distributed constraint optimization