Collaborated with:J.A.Davis L.R.Humphrey
Talks about:protocol (1) method (1) intuit (1) formal (1) proof (1) multi (1) human (1) error (1) agent (1) when (1)
Person: Derek B. Kingston
DBLP: Kingston:Derek_B=
Contributed to:
2019Wrote 1 papers:
- CAV-2019-DavisHK #fault #formal method #multi #protocol #proving #using
- When Human Intuition Fails: Using Formal Methods to Find an Error in the “Proof” of a Multi-agent Protocol (JAD, LRH, DBK), pp. 366–375.