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
- 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"
- 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
- Aircraft_Trajectory_Generation Public Forked from paulsaswata/Aircraft_Trajectory_Generation
Software for generating trajectories for fixed winged aircraft under NO-WIND conditions.
- 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.
