Login / Signup
Daniel Genin
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 11
Top Topics
Path Finding
Collision Avoidance
Neural Network
Finite Sets
Top Venues
CoRR
ITP
VSTTE
CLOUD
</>
Publications
</>
Daniel Genin
,
Elizabeth Dietrich
,
Yanni Kouskoulas
,
Aurora C. Schmidt
,
Marin Kobilarov
,
Kapil D. Katyal
,
Shahriar Sefati
,
Subhransu Mishra
,
Ivan Papusha
A Safety Fallback Controller for Improved Collision Avoidance.
ICAA
(2023)
Yanni Kouskoulas
,
Thyago J. Machado
,
Daniel Genin
,
Aurora C. Schmidt
,
Ivan Papusha
,
Joshua Brulé
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.
Int. J. Softw. Tools Technol. Transf.
24 (3) (2022)
Yanni Kouskoulas
,
Thyago J. Machado
,
Daniel Genin
,
Aurora C. Schmidt
,
Ivan Papusha
,
Joshua Brulé
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns.
CoRR
(2022)
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)
Ritchie Lee
,
Ole J. Mengshoel
,
Anshu Saksena
,
Ryan W. Gardner
,
Daniel Genin
,
Joshua Silbermann
,
Michael P. Owen
,
Mykel J. Kochenderfer
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.
J. Artif. Intell. Res.
69 (2020)
Yanni Kouskoulas
,
Thyago J. Machado
,
Daniel Genin
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.
FMICS
(2020)
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)
Ritchie Lee
,
Ole J. Mengshoel
,
Anshu Saksena
,
Ryan W. Gardner
,
Daniel Genin
,
Joshua Silbermann
,
Michael P. Owen
,
Mykel J. Kochenderfer
Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning.
CoRR
(2018)
Yanni Kouskoulas
,
Daniel Genin
,
Aurora C. Schmidt
,
Jean-Baptiste Jeannin
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.
ITP
(2017)
Bruce Benjamin
,
Joel Coffman
,
Hadi Esiely-Barrera
,
Kaitlin Farr
,
Dane Fichter
,
Daniel Genin
,
Laura Glendenning
,
Peter A. Hamilton
,
Shaku Harshavardhana
,
Rosalind Hom
,
Brianna Poulos
,
Nathan Reller
Data Protection in OpenStack.
CLOUD
(2017)
Daniel Genin
,
Jolene Splett
Where in the Internet is congestion?
CoRR
(2013)
Daniel Genin
,
Tassos Nakassis
Modeling queuing dynamics of TCP: a simple model and its empirical validation
CoRR
(2011)
Daniel Genin
,
Vladimir Marbukh
Bursty fluid approximation of TCP for modeling internet congestion at the flow level.
Allerton
(2009)
Daniel Genin
,
Vladimir Marbukh
Toward Understanding of Metastability in Cellular Networks: Emergence and Implications for Performance.
GLOBECOM
(2008)