Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus.

Susumu Nishimura

Published in: CoRR (2022)

Keyphrases

databases
small number
artificial intelligence
social networks
case study
multiscale
probability distribution