Jennifer Davis | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Siddhartha Bhattacharyya
5 publications
Anubhav Gupta
4 publications
David Greve
3 publications
Laura Humphrey
3 publications
Nandith Narayan
1 publication
Michael Matessa
1 publication

research

∙ 05/24/2022

A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A

The decentralized perimeter surveillance system (DPSS) seeks to provide ...

0 David Greve, et al. ∙

research

∙ 10/25/2021

Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study

As aircraft systems become increasingly autonomous, the human-machine ro...

0 Siddhartha Bhattacharyya, et al. ∙