Login / Signup
Robert Edman
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Simulation Model
Decision Makers
Formal Analysis
High Level
Top Venues
CoRR
ICRA
AAAI
</>
Publications
</>
Cecilia G. Morales
,
Jason Yao
,
Tejas Rane
,
Robert Edman
,
Howie Choset
,
Artur Dubrawski
Reslicing Ultrasound Images for Data Augmentation and Vessel Reconstruction.
CoRR
(2023)
Cecilia G. Morales
,
Jason Yao
,
Tejas Rane
,
Robert Edman
,
Howie Choset
,
Artur Dubrawski
Reslicing Ultrasound Images for Data Augmentation and Vessel Reconstruction.
ICRA
(2023)
Cecilia G. Morales
,
Nicholas Gisolfi
,
Robert Edman
,
James K. Miller
,
Artur Dubrawski
Actionable Model-Centric Explanations (Student Abstract).
AAAI
(2022)
Cecilia G. Morales
,
Nicholas Gisolfi
,
Robert Edman
,
James K. Miller
,
Artur Dubrawski
Provably Robust Model-Centric Explanations for Critical Decision-Making.
CoRR
(2021)
Tyler D. Smith
,
Ryan Peroutka
,
Robert Edman
Compositional Formal Analysis Based on Conventional Engineering Models.
CoRR
(2020)