abhibp1993

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)

RBE501_Drifting_Car

This is course project for Robot Dynamics for Team 4.

BCUDProject

Codes for Robot made for BCUD Grant with PI: Prof. Milind Patwardhan (VIT, Pune)

formal-tic-tac-toe

Implements Formal Methods based Never-Losing Robot Player for Tic-Tac-Toe

ProjectCurio

Software and Firmware libraries for Curio

akulkarni.me

My website

ArduinoWorkshop

Hardware Layout for Arduino Workshop Conducted

cirl-assignments

Assignments for familiarizing with work at CIRL

CurioHardware

Schematics and Board Layouts for Curio

cvproject

decoy-allocation-problem

GameSec2020 Paper Code.

flask_try

fmrProject

Self Driving Car

graph

Displays plots on a graph.

gridworld

Gridworld as Graph Transition System

hugo-website

my-first-binder

OpacityDemo_CDC2023

OpacityDemo_CDC2023

PoluluMotor

Arduino Library for Interfacing Polulu Motor

razor-9dof-ahrs

AHRS Firmware for the SparkFun 9DOF Razor IMU and SparkFun 9DOF Sensor Stick

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.

spotaut

Dockerized web service to translate LTL formula to Buchi Automaton using spot. Returns automaton in JSON format.

spotondocker

symbolic-reactive-synthesis

Formal Verification Class Project

TimedAutomata

Implements TimedAutomata Framework for Arduino