abhibp1993
Postdoctoral Fellow at University of Texas at Austin
University of Texas at AustinAustin, TX
Pinned Repositories
akulkarni.me
My website
ArduinoWorkshop
Hardware Layout for Arduino Workshop Conducted
BCUDProject
Codes for Robot made for BCUD Grant with PI: Prof. Milind Patwardhan (VIT, Pune)
cirl-assignments
Assignments for familiarizing with work at CIRL
decoy-allocation-problem
GameSec2020 Paper Code.
formal-tic-tac-toe
Implements Formal Methods based Never-Losing Robot Player for Tic-Tac-Toe
ggsolver
Library of set-based solvers for synthesis of winning strategies in two-player games on graphs.
prefltlf2pdfa
Translation of PrefLTLf formulas to preference deterministic finite automaton (PDFA)
ProjectCurio
Software and Firmware libraries for Curio
RBE501_Drifting_Car
This is course project for Robot Dynamics for Team 4.
abhibp1993's Repositories
abhibp1993/ggsolver
Library of set-based solvers for synthesis of winning strategies in two-player games on graphs.
abhibp1993/prefltlf2pdfa
Translation of PrefLTLf formulas to preference deterministic finite automaton (PDFA)
abhibp1993/RBE501_Drifting_Car
This is course project for Robot Dynamics for Team 4.
abhibp1993/BCUDProject
Codes for Robot made for BCUD Grant with PI: Prof. Milind Patwardhan (VIT, Pune)
abhibp1993/decoy-allocation-problem
GameSec2020 Paper Code.
abhibp1993/formal-tic-tac-toe
Implements Formal Methods based Never-Losing Robot Player for Tic-Tac-Toe
abhibp1993/ProjectCurio
Software and Firmware libraries for Curio
abhibp1993/akulkarni.me
My website
abhibp1993/ArduinoWorkshop
Hardware Layout for Arduino Workshop Conducted
abhibp1993/cirl-assignments
Assignments for familiarizing with work at CIRL
abhibp1993/CurioHardware
Schematics and Board Layouts for Curio
abhibp1993/cvproject
abhibp1993/flask_try
abhibp1993/fmrProject
Self Driving Car
abhibp1993/graph
Displays plots on a graph.
abhibp1993/gridworld
Gridworld as Graph Transition System
abhibp1993/hugo-website
abhibp1993/my-first-binder
abhibp1993/OpacityDemo_CDC2023
OpacityDemo_CDC2023
abhibp1993/PoluluMotor
Arduino Library for Interfacing Polulu Motor
abhibp1993/razor-9dof-ahrs
AHRS Firmware for the SparkFun 9DOF Razor IMU and SparkFun 9DOF Sensor Stick
abhibp1993/razor_imu_9dof
A ROS driver and firmware to connect to Razor IMU 9DOF (Degree of Freedom) board. This board consists of 3 sensors: magnetic, gyro and acceleration sensor.
abhibp1993/spotaut
Dockerized web service to translate LTL formula to Buchi Automaton using spot. Returns automaton in JSON format.
abhibp1993/spotondocker
abhibp1993/symbolic-reactive-synthesis
Formal Verification Class Project
abhibp1993/TimedAutomata
Implements TimedAutomata Framework for Arduino