Log Diameter Rounds MST Verification and Sensitivity in MPC.

Sam Coy Artur Czumaj Gopinath Mishra Anish Mukherjee

Published in: SPAA (2024)

Keyphrases

minimum spanning tree
model checking
sensitivity analysis
closed loop
dynamic model
spanning tree
face verification
asynchronous circuits
formal methods
high sensitivity
concurrent systems
databases
neuro fuzzy
signature verification
log log