A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks.

Freek Verbeek Julien Schmaltz

Published in: ITP (2010)

Keyphrases

sufficient conditions
formal proof
deadlock free
lyapunov function
theorem prover
linear complementarity problem
routing algorithm
asymptotic stability
exponential stability
neural network
machine learning
fine grained
efficiently computable
equilibrium point