Safety-critical systems are all around us in the modern world, from autonomous cars to aerial systems. In recent years, Control Barrier Functions (CBFs) [1] have proven to be a versatile method for ...

Supplementary codes and data used in the paper. This package is not currently maintained and its latest version was published in November 2018 but, anyway, it can be downloaded and installed from the ...

Abstract: Logistic regression is a fundamental and widely used statistical method for modeling binary outcomes based on covariates. However, the presence of missing data, particularly in settings ...

This is a reference implementation and will not be actively maintained in the future. The code in this repository is a refactored version of the codebase we used to produce the results in the paper ...