Shibashis Guha
Reader (Tenure Track Assistant Professor)
School of Technology and Computer Science, Tata Institute of Fundamental Research
HOME
•
publications
•
teaching
•
talks
•
students
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
@MFCS 21
Mean-payoff Adversarial Stackelberg Games
@FM Update Meet 2021
Verification, synthesis, and a bit of nondeterminism
@STCS Day 2021