Code

Github

/bineet-coderep/

/autmn/

Selected Public Repositories

• MoULDyS: Monitoring of Autonomous Systems Under the Presence of Uncertainties.

[Abstract]           [Webpage]           [Installation Guide]           [User Guide]

• Aircraft Landing Simulation.

[Abstract]           [Code]          [cite]

•Adversarial Inputs on DNN Based Classifiers.

[Abstract]           [Code]

• StatDev: Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.

[Abstract]           [Webpage]           [Code]

• CRULS: Computing Reachable Sets of Uncertain Linear System.

[Abstract]          [Code]          [cite]