Search Results for author:
Found 2 papers, 1 papers with code
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
Since neurosymbolic AI combines the advantages of both symbolic and sub-symbolic AI, this survey explores how neurosymbolic applications can ease the V&V process.
GraphDAC: A Graph-Analytic Approach to Dynamic Airspace Configuration
The current National Airspace System (NAS) is reaching capacity due to increased air traffic, and is based on outdated pre-tactical planning.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
