Casares, Antonio

1. Games on Graphs: From Logic and Automata to Algorithms
   2023/05/17 by Fijalkow, Nathanaël, Aiswarya, C., Avni, Guy +22 · 2 citations
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
2. Positional ω-regular languages
   2024/01/27 by Casares, Antonio, Ohlmann, Pierre · 2 citations
   #68Q45 #Computer Science and Game Theory (cs.GT) #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
3. On the size of good-for-games Rabin automata and its link with the memory in Muller games
   2022/04/24 by Casares, Antonio, Colcombet, Thomas, Lehtinen, Karoliina · 1 citation
   #68Q45 #F.1.1 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)