Robert Edman | DeepAI

DeepAI

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

Featured Co-authors

Howie Choset
61 publications
Artur Dubrawski
44 publications
James K. Miller
2 publications
Cecilia G. Morales
1 publication
Tyler D. Smith
1 publication
Ryan Peroutka
1 publication
Nicholas Gisolfi
1 publication
Cecilia Morales
1 publication
Jason Yao
1 publication
Tejas Rane
1 publication

research

∙ 01/18/2023

Reslicing Ultrasound Images for Data Augmentation and Vessel Reconstruction

Robot-guided catheter insertion has the potential to deliver urgent medi...

24 Cecilia Morales, et al. ∙

research

∙ 10/26/2021

Provably Robust Model-Centric Explanations for Critical Decision-Making

We recommend using a model-centric, Boolean Satisfiability (SAT) formali...

0 Cecilia G. Morales, et al. ∙

research

∙ 04/07/2020

Compositional Formal Analysis Based on Conventional Engineering Models

Applications of formal methods for state space exploration have been suc...

0 Tyler D. Smith, et al. ∙