Max Taylor | DeepAI

DeepAI

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

Featured Co-authors

Xiangyu Zhang
153 publications
Xiaorui Wang
13 publications
Christopher Stewart
6 publications
Haicheng Chen
2 publications
Feng Qin
2 publications
Brandon Henry
1 publication
Johnathon Aurand
1 publication

research

∙ 10/17/2022

SA4U: Practical Static Analysis for Unit Type Error Detection

Unit type errors, where values with physical unit types (e.g., meters, h...

0 Max Taylor, et al. ∙

research

∙ 06/28/2021

Avis: In-Situ Model Checking for Unmanned Aerial Vehicles

Control firmware in unmanned aerial vehicles (UAVs) uses sensors to mode...

0 Max Taylor, et al. ∙