abadithela Goto Github PK

abadithela

Config files for my GitHub profile.

abadithela.github.io

arch-2019

Contains all the benchmarks presented at ARCH 2019

arduino

open-source electronics prototyping platform

automated_crossroad

autovaletparking_te

avoiding-braintenberg

baital

bbopt

Black-box optimization techniques for probabilistic coverage and verification

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..

braitenberg-vehicle

Braitenberg Vehicle implementation based on Braitenberg vehicle

carlo

2D Driving Simulator

cellphone2

Second iteration of the DIY cellphone (based on the Arduino GSM shield).

compositionaltesting

dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

discrete_test_synthesis

Repository containing formal test synthesis algorithms for discrete event systems for high-level mission specifications

dist-confusionmtrx

Repository for constructing confusion matrices for evaluating perception performance on nuscenes dataset.

driving-interactions

dt-exercises

duckie_ros_example

duckietown-color-detector

Subscriber / Publisher

duckietown-lx

Duckietown Learning Experiences

dynamic-programming

Basic tools for dynamic programming and optimal control

elimination-tree

Generates Elimination Tree for a sparse symmetric PD matrix

evaluateperception

Repository to drive duckiebots to validate results on evaluating perception.

fill-reducing-permutation

flow-constraints

A module to generate constrained test environments that leverage flow algorithms.

gcs_uav_labs

gr1_simulations

hovercraft

Hovercraft path planning using an LP solver based on barrier method