Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata.
Tom BaumeisterPaul EichlerSwen JacobsMouhammad SakrMarcus VölpPublished in: CoRR (2024)
Keyphrases
- times faster
- learning algorithm
- computational cost
- recently developed
- significant improvement
- orders of magnitude
- theoretical analysis
- computationally efficient
- regular expressions
- database
- computational efficiency
- distributed systems
- optimization problems
- lightweight
- cellular automata
- model checking
- cooperative
- multi agent
- computing environments
- machine learning