Login / Signup
Rosa Wu
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 3
Top Topics
Formal Verification
Neural Network
Linearly Separable
Positive And Negative Examples
Top Venues
VSTTE
CoRR
NFM
</>
Publications
</>
Yanni Kouskoulas
,
Rosa Wu
,
Joshua Brulé
,
Daniel Genin
,
Aurora C. Schmidt
,
Thyago J. Machado
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.
NFM
(2021)
Daniel Genin
,
Ivan Papusha
,
Joshua Brulé
,
Tyler Young
,
Galen E. Mullins
,
Yanni Kouskoulas
,
Rosa Wu
,
Aurora C. Schmidt
Formal Verification of Neural Network Controllers for Collision-Free Flight.
VSTTE
(2021)
Ivan Papusha
,
Rosa Wu
,
Joshua Brulé
,
Yanni Kouskoulas
,
Daniel Genin
,
Aurora C. Schmidt
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.
CoRR
(2020)