: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.
Igor KonnovMarijana LazicHelmut VeithJosef WidderPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- significant improvement
- cooperative
- times faster
- orders of magnitude
- multi agent
- data structure
- computational efficiency
- computationally efficient
- data reduction
- neural network
- distributed environment
- theoretical analysis
- peer to peer
- optimization problems
- computational cost
- query processing
- lower bound
- computational complexity