Dima, Catalin

1. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable
   2011/02/21 by Dima, Catalin, Tiplea, Ferucio Laurentiu · 3 citations
   #03B42 #03B44 #68Q60 #D.2.4 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA)
2. 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)