RPI-WCL's repositories
Athena_LibDDDAS
This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems
Aircraft_Trajectory_Generation
Software for generating trajectories for fixed winged aircraft under NO-WIND conditions.
Common-Lisp-Actors
An actor system for Common Lisp.
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
NMAC_ATHENA
Contains the Athena specifications and proofs for the algorithm described in the paper "Conflict-Aware Flight Planning for Avoiding NMACs"
salsa_lite
The SALSA Programing Language
Wind_Aware_Aircraft_Trajectory_Generation
A software for generating WIND-AWARE aircraft trajectories for loss of thrust scenarios.