Search Results for author:
Found 2 papers, 1 papers with code
A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems
We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems.
The Extended IRTF Spectral Library: Expanded coverage in metallicity, temperature, and surface gravity
We present a $0. 7-2. 5\mu m$ spectral library of 284 stars observed with the medium-resolution infrared spectrograph, SpeX, at the 3. 0 meter NASA Infrared Telescope Facility (IRTF) on Maunakea, Hawaii.
Solar and Stellar Astrophysics Astrophysics of Galaxies
Cannot find the paper you are looking for? You can
Submit a new open access paper.
