When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol.

Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston

Browse the full CAV paper archive.