A Modular Subset Simulation Toolbox for Matlab
Analysis of Controller Errors in an Asynchronous, Redundant Flight Control System
Application of a Process-Oriented Build Tool to an INDI-Based Flight Control Algorithm
A Refined Kriging Surrogate Model for Subset Simulation
A Strategy for Efficient and Automated Validation and Verification of Maneuverability Requirements
COLIBRY - A Counter Optimization Library for MATLAB