Events
-
AVIATE Seminar “Robust and Resilient Autonomy for Advanced Aerial Mobility”
-
TC3: Runtime Fault Diagnosis (FD) and Reachability Analysis (RA) for In-flight Contingency Management
-
NASA AVIATE Thrust 2: Code-Level Verification of Hybrid, Multi-Agent Scenarios, Plan for Demo
-
AVIATE Seminar “MILESTONES: COVARIANCE STEERING PERCEPTION-BASED LANDING ARCHITECTURE”
-
AVIATE Seminar “Developing AI/ML Components (and their Standards) for Civil Aviation: Challenges and Barriers”
-
AVIATE Seminar “α,β-CROWN: A Formal Verification Framework for Neural Networks with Applications in Control and Planning”
-
AVIATE Seminar “Certifiable Perception and Real-time Scene Understanding for Autonomous Systems”
-
AVIATE Seminar “Digitizing and Simulating the 3D Physical World for Autonomy”
-
AVIATE Seminar “A Powerful New Approach to Safety Engineering”
-
AVIATE Seminar “Exploiting Supervisory Schemes and Interplay between Computations and Closed-Loop Properties in Model Predictive Control”
-
AVIATE Seminar “Development of Autonomous Flight at Wing”
-
AVIATE Seminar “Revolutionizing AV Development with Foundation Models”
-
AVIATE Seminar “Navigating the Road to Flight Certification of Complex Systems”
-
AVIATE Seminar “Sampling-Based Fault Diagnosis and Change Detection for Stochastic Dynamical Systems”
-
AVIATE Seminar “Autonomous System Resilience and Guaranteed Performance in the Face of Unexpected Adversity”
-
AVIATE Seminar “Efficiently predicting and repairing failure modes via sampling and updates on the GUAM Python version”
-
NASA ULI Annual Review
-
AVIATE Seminar “ULI: Robust and Resilient Autonomy for Advanced Urban Aerial Mobility, SNC”
-
AVIATE Seminar “Research Overview of Autonomous Control and Decision Systems (ACDS) Lab, Georgia Tech”
-
AVIATE Seminar “DiffTune: Auto-Tuning through Auto-Differentiation” and “A Distributionally Robust Adaptive Approach to Data-driven Control”
-
AVIATE Seminar “Airspace Management System Framework for Planning and Logistics”
-
AVIATE Seminar “Event-based Fault Diagnosis under Different Levels of Uncertainty”
-
AVIATE Seminar “AVIATE Safety” and “VISAT: Using Visual Attributes to Benchmark Image Recognition Robustness under Adversarial Attack and Distribution Shift”
-
AVIATE Seminar “Certifiably Robust Learning via Knowledge-Enabled Logical Reasoning”
-
AVIATE Seminar “Software-In-Loop-Simulation Using VR/Game Environment, Systems Integration & Field Deployment Verification”
-
AVIATE Seminar “Code-Level Verification for Autonomous Systems (TC2)”
-
AVIATE Seminar “Robust and Resilient Autonomy for Advanced Air Mobility”
-
NASA ULI Kickoff
-
Congressional Presentation