Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.1007/978-3-030-53288-8_6
https://doi.org/10.1007/978-3-030-53288-8_6
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Cited by: 34
Author(s): Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
Published: almost 5 years ago
Software Mentions 1
pypi: pandas
Powerful data structures for data analysis, time series, and statisticsPapers that mentioned: 640