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

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

collaborators
Showing 2022Show all

1 paper · 1 filter

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…