Simpler proofs with decentralized invariants.

Jean-Christophe Filliâtre

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

multi agent
distributed systems
cooperative
moment invariants
theorem proving
peer to peer
equational theories
formal proofs
multi robot systems
theorem prover
invariant features
quasi invariant
image segmentation
formal proof
affine invariant
expert systems
multi agent systems
search algorithm
video sequences