33 citations · 54 across the 8 of their papers we have counts for
8 papers
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…
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…
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena +5
Finding the most likely path to a set of failure states is important to the analysis of safety-critical systems that operate over a sequence of time steps, such as aircraft collisi…
Where in the Internet is congestion?
Daniel Genin, Jolene Splett
Understanding the distribution of congestion in the Internet is a long-standing problem. Using data from the SamKnows US broadband access network measurement study, commissioned by…
Modeling queuing dynamics of TCP: a simple model and its empirical validation
Daniel Genin, Tassos Nakassis
Understanding queuing dynamics of TCP is important for correct router buffer sizing as well as for optimizing the performance of the TCP protocol itself. However, modeling of buffe…
Geodesics on an ellipsoid in Minkowski space
D. Genin, B. Khesin, S. Tabachnikov
We describe the geometry of geodesics on a Lorentz ellipsoid: give explicit formulas for the first integrals (pseudo-confocal coordinates), curvature, geodesically equivalent Riema…