Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis.

Arian Baloochestani Leander Jehl

Published in: BRAINS (2023)

Keyphrases

formal verification
theoretical analysis
optimization problems
orders of magnitude
learning algorithm
statistical analysis
model checking
multi agent
computationally efficient
artificial intelligence
cooperative
computational complexity
computational cost
distributed systems