Logic Model Checking of Time-Periodic Real-Time Systems
Controlling Infrastructure Costs: Right-Sizing the Mission Control Facility
An Operations Concept for Integrated Model-Centric Engineering at JPL
NASA SensorWeb: From v2.0 to v3.0 Workflows and WCPS for Space Applications
X-1 to X-Wings: Developing a Parametric Cost Model
The intelligent user interface for NASA's advanced information management systems
A system management methodology for building successful resource management systems
Autonomous and Autonomic Swarms
Head Pose Estimation Using Multilinear Subspace Analysis for Robot Human Awareness
Situation Awareness of Onboard System Autonomy
A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories
Next Generation Remote Agent Planner
Auctioning Reputation System Based on Anomaly Detection
Decision Support System for Extravehicular Operations Under Significant Communication Latency
An Example of a Multi-Object Auction Game