Efficient Synthesis of Symbolic Distributed Protocols by Sketching.

Derek Egolf William Schultz Stavros Tripakis

Published in: CoRR (2024)

Keyphrases

cooperative
lightweight
distributed systems
distributed environment
computer networks
multi party
data sets
neural network
high level
cost effective
computationally expensive