Srivathsan, B.

1. A Bridge between Polynomial Optimization and Games with Imperfect Recall
   2020/02/23 by Gimbert, Hugo, Paul, Soumyajit, Srivathsan, B. · 3 citations
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Zone-based verification of timed automata: extrapolations, simulations and what next?
   2022/07/15 by Bouyer, Patricia, Gastin, Paul, Herbreteau, Frédéric +2 · 2 citations
   #03B70 #68Q60 #D.2.4 #F.1.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Revisiting local time semantics for networks of timed automata
   2019/07/04 by Govind, R., Herbreteau, Frédéric, Srivathsan, B. +1 · 1 citation
   #68Q60 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
4. MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
   2024/07/11 by Akshay, S., Gastin, Paul, Govind, R. +1 · 2 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)