Guha, Shibashis
- Two-way Parikh Automata
2019/07/22 by Filiot, Emmanuel, Guha, Shibashis, Mazzocchi, Nicolas · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Alternating Tree Automata with Qualitative Semantics
2020/02/10 by Berthon, Raphaël, Fijalkow, Nathanaël, Filiot, Emmanuel +7 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Strategy Synthesis for Global Window PCTL
2022/04/25 by Bordais, Benjamin, Busatto-Gaston, Damien, Guha, Shibashis +1 · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #G.3 #Logic in Computer Science (cs.LO)
- Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
2023/03/16 by Falah, Amin, Guha, Shibashis, Trivedi, Ashutosh · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC)