Ultimate Tic-Tac-Toe: 9 Synchronized Tic-Tac-Toe Boards
[code]
An AI agent inspired by the AlphaZero
algorithm and trained using deep Reinforcement Learning techniques such as Monte-Carlo Tree Search
and Deep Q-Network
, for playing the non-trivial board game of Ultimate Tic-Tac-Toe, where 9 small Tic-Tac-Toe boards work in tandem, giving rise to a gameplay more complex than Othello
. The agent — trained using self-play against itself for 7 days on a low-end GPU — defeated an average human player with Elo rating of 1400+ in chess 8 out of 10 times.
UnreLyzer: A static interval analyzer for C like unreliable programs
[code]
Paper:[arXiv,2016]
Unrelyzer is a static analysis tool that analyzes a program defined by a subset of C (Mini-C) grammar with an addendum where each arithmetic, boolean and memory (Read/Write) operation in the program is probabilistic/unreliable in nature. This tool statically analyzes the program using Abstract Interpretation in the interval domain and determines the interval of values with a certain confidence for each program variable at each program point. This tool was built as part of my Master’s thesis.
Knowledge-Enabled Motion Generation for Complex Manipulation Tasks, in IEEE ICRA Workshop on Geometric Representations: The Roles of Modern Screw Theory, Lie Algebra, and Geometric Algebra in Robotics, London, UK, 2023.Dibyendu Das, Aditya Patankar, Fumi Honda, Dasharadhan Mahalingam, Nilanjan Chakraborty, C.R. Ramakrishnan, and I.V. Ramakrishnan
Failure Estimation of Behavioral Specifications, in International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), pp. 315-322, Springer International Publishing.
[code]
Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, and Soumyajit Dey