abadithela

PhD student in Control and Dynamical Systems (CDS)

CaltechPasadena, CA

Pinned Repositories

abadithela
Config files for my GitHub profile.
0 1 00
abadithela.github.io
Language:HTML0 2 00
ARCH-2019
Contains all the benchmarks presented at ARCH 2019
Language:MATLAB00
Arduino
open-source electronics prototyping platform
Language:HTML00
Automated_crossroad
Language:Python00
Benders-Minimum-Fill
For a given sparse symmetric indefinite matrix, this algorithm returns a minimum fill-in reducing permutation matrix for pre-ordering the matrix prior to LDL' factorization..
Language:MATLAB00
Dist-ConfusionMtrx
Repository for constructing confusion matrices for evaluating perception performance on nuscenes dataset.
Language:Python0 3 00
Flow-Constraints
A module to generate constrained test environments that leverage flow algorithms.
Language:Python3 2 00
MultiRate
Language:MATLAB10
MergeUnitTests
Language:Python22

abadithela's Repositories

abadithela/Flow-Constraints
A module to generate constrained test environments that leverage flow algorithms.
Language:Python3 2 00
abadithela/abadithela
Config files for my GitHub profile.
0 1 00
abadithela/abadithela.github.io
Language:HTML0 2 00
abadithela/Dist-ConfusionMtrx
Repository for constructing confusion matrices for evaluating perception performance on nuscenes dataset.
Language:Python0 3 00
abadithela/avoiding-braintenberg
Language:Python
abadithela/braitenberg-vehicle
Braitenberg Vehicle implementation based on Braitenberg vehicle
Language:Python
abadithela/CARLO
2D Driving Simulator
abadithela/CompositionalTesting
Language:Python
abadithela/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language:Python1 0
abadithela/duckietown-color-detector
Subscriber / Publisher
Language:Python
abadithela/duckietown-lx
Duckietown Learning Experiences
abadithela/dynamic-programming
Basic tools for dynamic programming and optimal control
Language:Python
abadithela/EvaluatePerception
Repository to drive duckiebots to validate results on evaluating perception.
Language:Python
abadithela/GR1_simulations
Language:Python
abadithela/layered_testing
Layered Test and Evaluation algorithms
Language:Python
abadithela/media
abadithela/MergeUnitTests
Language:HTML
abadithela/omega
Specify and synthesize systems using symbolic algorithms
abadithela/Optimization_code
Language:Python
abadithela/P2P-Nav
Point-to-point navigation on duckietown DB21M robots
Language:Dockerfile
abadithela/simple-ros-and-duckietown
Language:Dockerfile2 0
abadithela/StabilityContracts
Language:Jupyter Notebook
abadithela/stlcg
Playing around with STLCG
abadithela/TE_experiments
abadithela/template-ros
Template repository for ROS code
abadithela/Test_and_Evaluation
Language:Python
abadithela/TestContractOps
Use of contracts for testing
Language:Python
abadithela/validate_perception_metrics
Language:Python
abadithela/vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
abadithela/website