Verifiable Decisions in Autonomous Concurrent Systems.

Lenz Belzner

Browse the full Coordination paper archive.