masanar / athena_libdddas Goto Github PK
View Code? Open in Web Editor NEWThis project forked from rpi-wcl/athena_libdddas
This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems