Daniel Genin
发表
Daniel Genin,
Jolene Splett,
2013,
ArXiv.
Jean-Baptiste Jeannin,
Daniel Genin,
Aurora Schmidt,
2019,
2019 7th International Conference in Software Engineering Research and Innovation (CONISOFT).
Daniel Genin,
Yanni Kouskoulas,
Thyago J. Machado,
2020,
FMICS.
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
pdf
Ivan Papusha,
Daniel Genin,
Aurora Schmidt,
2020,
ArXiv.
Daniel Genin,
Tassos Nakassis,
2011,
ArXiv.
Jean-Baptiste Jeannin,
Daniel Genin,
Aurora Schmidt,
2017,
ITP.
Anshu Saksena,
Raymond McDowell,
Ryan W. Gardner,
2016,
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).
Ole J. Mengshoel,
Mykel J. Kochenderfer,
Michael P. Owen,
2018,
ArXiv.
Peter A. Hamilton,
Joel Coffman,
Daniel Genin,
2017,
2017 IEEE 10th International Conference on Cloud Computing (CLOUD).
Mykel J. Kochenderfer,
Daniel Genin,
Ritchie Lee,
2020,
J. Artif. Intell. Res..
Daniel Genin,
Vladimir Marbukh,
2009,
2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Vladimir Marbukh,
Daniel Genin,
V. Marbukh,
2008,
IEEE GLOBECOM 2008 - 2008 IEEE Global Telecommunications Conference.
Joshua Brulé,
Daniel Genin,
Aurora Schmidt,
2021,
NFM.
Ole J. Mengshoel,
Anshu Saksena,
Ryan Gardner,
2017
.