Pinned Repositories
AAHAA-DASC-2022
DASC 2022 paper on AAHAA CP2.5 demonstration
NFM-2023-case-study
Model and properties for NFM 2023 paper
MLAI-CoP
Personal repository for projects related to the Collins Aerospace Machine Learning and Artificial Intelligence Community of Practice
async-agree
AMASE
This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
CASE
DARPA CASE program
formal-methods-workbench
loonwerks.github.io
vnncomp2023
smaccm
dcofer's Repositories
dcofer/MLAI-CoP
Personal repository for projects related to the Collins Aerospace Machine Learning and Artificial Intelligence Community of Practice