12 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A
David Greve, Jennifer Davis, Laura Humphrey
The decentralized perimeter surveillance system (DPSS) seeks to provide a decentralized protocol for evenly distributing surveillance of a perimeter over time across an ensemble of…
cs.SE2021★ 12 cited
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study
Siddhartha Bhattacharyya, Jennifer Davis, Anubhav Gupta +2
As aircraft systems become increasingly autonomous, the human-machine role allocation changes and opportunities for new failure modes arise. This necessitates an approach to identi…