RPI-WCL
Popular repositories Loading
-
Athena_LibDDDAS
Athena_LibDDDAS PublicThis repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems
-
-
-
-
Repositories
- Athena_LibDDDAS Public
This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems
RPI-WCL/Athena_LibDDDAS’s past year of commit activity - NMAC_ATHENA Public Forked from paulsaswata/NMAC_ATHENA
Contains the Athena specifications and proofs for the algorithm described in the paper "Conflict-Aware Flight Planning for Avoiding NMACs"
RPI-WCL/NMAC_ATHENA’s past year of commit activity - Distributed_Knowledge_Propagation Public Forked from paulsaswata/Distributed_Knowledge_Propagation
This repository contains the TLA+ specification and TLAPS proofs of correctness properties for a Distributed Knowledge Propagation Algorithm presented in Digital Avionics Systems Conference 2020
RPI-WCL/Distributed_Knowledge_Propagation’s past year of commit activity - Aircraft_Trajectory_Generation Public Forked from paulsaswata/Aircraft_Trajectory_Generation
Software for generating trajectories for fixed winged aircraft under NO-WIND conditions.
RPI-WCL/Aircraft_Trajectory_Generation’s past year of commit activity - Wind_Aware_Aircraft_Trajectory_Generation Public Forked from paulsaswata/Wind_Aware_Aircraft_Trajectory_Generation
A software for generating WIND-AWARE aircraft trajectories for loss of thrust scenarios.
RPI-WCL/Wind_Aware_Aircraft_Trajectory_Generation’s past year of commit activity
