Abhishek N. Kulkarni
Home
Research
Publications
Teaching
Talks/Presentation
CV
Software
ggsolver (docs)
prefltlf2pdfa (tool)
prefltlf2pdfa (docs)
Decoy Allocation
FormalTicTacToe
Projects Overview
To be updated…
On-going Projects
I am currently working on the following projects.
1. IGLSynth
Previous Projects
1. Curio: Autonomous Mobile Robot (that looks like a Batmobile!)
2. Formal Tic-Tac-Toe