Publication: A Tighter Analysis of Randomised Policy Iteration
Authors: Meet Taraviya, Shivaram Kalyanakrishnan
Recent Posts
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.
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.