Oualhadj, Youssouf
- Deciding the Value 1 Problem of Probabilistic Leaktight Automata
2011/04/14 by Fijalkow, Nathanaël, Gimbert, Hugo, Oualhadj, Youssouf · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Deciding the synthesis problem for hybrid games through bisimulation
2024/09/09 by Dima, Catalin, Hammami, Mariem, Oualhadj, Youssouf +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)