David Greve | DeepAI

DeepAI

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

Featured Co-authors

Grigory Fedyukovich
6 publications
Andrew Gacek
4 publications
Sanjai Rayadurgam
4 publications
Laura Humphrey
3 publications
Jeffrey Chen
3 publications
Andreas Katis
2 publications
Michael W. Whalen
2 publications
Jennifer Davis
2 publications

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

∙ 09/25/2020

Synthesis of Infinite-State Systems with Random Behavior

Diversity in the exhibited behavior of a given system is a desirable cha...

0 Andreas Katis, et al. ∙

research

∙ 10/10/2018

Trapezoidal Generalization over Linear Constraints

We are developing a model-based fuzzing framework that employs mathemati...

0 David Greve, et al. ∙