Login / Signup

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