Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification for Machine Learning, Autonomy, and Neural Networks Survey.

W. Xiang, P. Musau, A. Wild, D. Lopez, N. Hamilton, X. Yang, J. Rosenfeld, and T. Johnson. CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nathaniel Bartels

Nathaniel Thon

Frank Hamilton

Hamilton Medeiros

Mark Hamilton

Other publications of authors with the same name

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.P. Musau, N. Hamilton, D. Lopez, P. Robinette, and T. Johnson. ICAA, page 1-10. IEEE, (2022)Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.N. Hamilton, P. Robinette, and T. Johnson. SEFM, volume 13550 of Lecture Notes in Computer Science, page 190-206. Springer, (2022)Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments.R. Stern, S. Cui, M. Monache, R. Bhadani, M. Bunting, M. Churchill, N. Hamilton, R. Haulcy, H. Pohlmann, F. Wu and 4 other author(s). CoRR, (2017)Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents.N. Hamilton, K. Dunlap, T. Johnson, and K. Hobbs. CoRR, (2022)Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering.C. McQuinn, K. Dunlap, N. Hamilton, J. Wilson, and K. Hobbs. CoRR, (2024)Reachability Analysis of a General Class of Neural Ordinary Differential Equations.D. Lopez, P. Musau, N. Hamilton, and T. Johnson. FORMATS, volume 13465 of Lecture Notes in Computer Science, page 258-277. Springer, (2022)An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.P. Musau, N. Hamilton, D. Lopez, P. Robinette, and T. Johnson. CoRR, (2022)Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.H. Tran, N. Pal, P. Musau, D. Lopez, N. Hamilton, X. Yang, S. Bak, and T. Johnson. CAV (1), volume 12759 of Lecture Notes in Computer Science, page 263-286. Springer, (2021)Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.N. Hamilton, P. Musau, D. Lopez, and T. Johnson. ICAA, page 11-20. IEEE, (2022)Case Study: Safety Verification of an Unmanned Underwater Vehicle.D. Lopez, P. Musau, N. Hamilton, H. Tran, and T. Johnson. SP (Workshops), page 189-195. IEEE, (2020)

BibSonomy

Disambiguation of "Hamilton, Nathaniel"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification for Machine Learning, Autonomy, and Neural Networks Survey.

Please choose a person to relate this publication to

Nathaniel Bartels

Nathaniel Thon

Frank Hamilton

Hamilton Medeiros

Mark Hamilton

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Hamilton, Nathaniel"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verification for Machine Learning, Autonomy, and Neural Networks Survey.

Please choose a person to relate this publication to

Nathaniel Bartels

Nathaniel Thon

Frank Hamilton

Hamilton Medeiros

Mark Hamilton

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification for Machine Learning, Autonomy, and Neural Networks Survey.