most citedIncorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

2 citations · 3 across the 2 of their papers we have counts for

collaborators

2 papers

cs.LO2022★ 1 cited

Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns

Yanni Kouskoulas, T. J. Machado, Daniel Genin +3

We present an approach to analyzing the safety of asynchronous, independent, non-deterministic, turn-to-bearing horizontal maneuvers for two vehicles. Future turn rates, final bear…

cs.LG2020★ 2 cited

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

Ivan Papusha, Rosa Wu, Joshua Brulé +3

There is great interest in using formal methods to guarantee the reliability of deep neural networks. However, these techniques may also be used to implant carefully selected input…