OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container images are supported as the input, and the tool is ideal for integration.

Formal Verification of Neural Feedback Loops (NFLs)

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Python library used to safely control drone swarms and drone fleets with MAVLink

Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

[ICRA 2025] Code for Conformalized Reachable Sets for Obstacle Avoidance With Spheres

Python Library for Data-Driven Reachability Analysis.

NeuReach: Learning Reachability Functions from Simulations

Python implementation of data-driven reachability analysis using Zonotopes

Finite-step reachable set over-approximation of NN dynamical systems using the one-shot and recursive methods.

Reachability Analysis for Hybrid Systems

RiP: RTD based (Ri)sk Aware Planner

Repository of my work with Hybrid Systems, covering topics from Reachability Analysis to Predicate Logic

A HL Symbolic Execution Engine Prototype for Reachability

DSML 4 Kidz Reachability Server