Formal Verification of Timed Properties for Randomized Distributed Algorithms.

Anna Pogosyants Roberto Segala

Published in: PODC (1995)

Keyphrases

formal verification
computational cost
theoretical analysis
learning algorithm
orders of magnitude
cooperative
computational complexity
significant improvement
optimization problems
petri net
artificial intelligence
multi agent
multi agent systems