Publication: A Tighter Analysis of Randomised Policy Iteration
Authors: Meet Taraviya, Shivaram Kalyanakrishnan
Posts by Tags
2019
Research seminar: Recursive Timed Automata
Recursive Timed Automata (RTA) generalizes both Recursive State Machines and Timed Automata. This added power makes the problem of termination in RTA games u...
Research seminar: Applications of Color Coding in Randomised Algorithms
We demonstrate how color coding can be used to obtain algorithms with fixed parameter tractable complexity for NP-hard problems k-CYCLE and k-PATH.
2018
Research seminar: Lower bounds for monotone circuits
We present lower bounds for the size of Monotone circuits computing the clique function. We use a combinatorial result called Sunflower Lemma for the proof.
Research: Classes of Origin Graphs generated by Transducers
Advisor: Krishna S.
Internship: Heart Rate Estimation From Video Stream And PPG Data Stream
Company: Samsung Research Institute - Delhi
Research seminar: Timed Petri Nets and BQOs
Better quasi orders are special types of well quasi orders which enjoy many additional closure properties. We introduce BQOs and use their properties to prov...
Research: Reachability in Stochastic Timed Games
Advisor: S. Akshay and Krishna S.
2017
Internship: Detection Of Failure Modes In Electric Vehicles
Company: Greendzine technologies
2016
Internship: Interest Rate Prediction For Government Securities
Company: Edelweiss Financial Services
Internship: Audit Application for Algorithmic Trading Systems
Company: Edelweiss Financial Services