Code

Github

/bineet-coderep/

/autmn-lab/

Selected Public Repositories

• [FORTE 2025 Artifact Evaluated] Posto: Probabilistic Safety Verification of Distributed Systems.

[Abstract]           [README]           [GitHub (FORTE'25 Artifact Eval.)]           [Local PDF]

• 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]