Sign in

Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems.

I. A. FedotovA. S. KhritankovM. D. Obidare
Published in: Program. Comput. Softw. (2023)
Keyphrases
  • multi party
  • automated verification
  • distributed systems
  • model checking
  • email
  • scheduling problem
  • automated reasoning
  • privacy preserving
  • reinforcement learning
  • intelligent systems