Collaborated with:L.R.Humphrey D.B.Kingston
Talks about:protocol (1) method (1) intuit (1) formal (1) proof (1) multi (1) human (1) error (1) agent (1) when (1)
Person: Jennifer A. Davis
DBLP: Davis:Jennifer_A=
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.