PhD student at ECR, working as part of the LAIV and VOILab.
-
-
-
SAIV_2025_Alsomitra Public
Codebase for Neural Network Verification for Gliding Drone Control: A Case Study
Python UpdatedApr 30, 2025 -
-
CORA_FiniteDiff Public
Finite difference approximation scripts for calculating Jacobian and Hessian matrices as part of CORA toolkit
UpdatedJul 23, 2024 -
aro_lab Public
Forked from ediaro23/labSoftware lab for advanced robotics
Jupyter Notebook BSD 3-Clause "New" or "Revised" License UpdatedNov 15, 2023 -
fashion-mnist Public
Forked from zalandoresearch/fashion-mnistA MNIST-like fashion product database. Benchmark 👇
Python MIT License UpdatedJun 13, 2022