Daniel Genin

15 papers B 3C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
A Safety Fallback Controller for Improved Collision Avoidance.
ICAA
Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha
2022 J jnl
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns.
CoRR
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
2022 J jnl
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.
Int. J. Softw. Tools Technol. Transf.
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
2021 — conf
Formal Verification of Neural Network Controllers for Collision-Free Flight.
VSTTE
Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt
2021 — conf
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.
NFM
Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado
2020 J jnl
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.
J. Artif. Intell. Res.
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer
2020 C conf
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.
FMICS
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin
2020 J jnl
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.
CoRR
Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt
2018 J jnl
Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning.
CoRR
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer
2017 B conf
Data Protection in OpenStack.
CLOUD
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
2017 B conf
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.
ITP
Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin
2013 J jnl
Where in the Internet is congestion?
CoRR
Daniel Genin, Jolene Splett
2011 J jnl
Modeling queuing dynamics of TCP: a simple model and its empirical validation
CoRR
Daniel Genin, Tassos Nakassis
2009 — conf
Bursty fluid approximation of TCP for modeling internet congestion at the flow level.
Allerton
Daniel Genin, Vladimir Marbukh
2008 B conf
Toward Understanding of Metastability in Cellular Networks: Emergence and Implications for Performance.
GLOBECOM
Daniel Genin, Vladimir Marbukh