Plan Execution Interchange Language (PLEXIL) Software User's Manual
Accelerating Unstructured-grid CFD Algorithms on NVIDIA and AMD GPUs
Formal Assurance for Cognitive Architecture Based Autonomous Agent
How NASA Utilizes Dashboards to Help Ensure Mission Success