Aleksander Wiącek
- Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games
2023/04/29 by Paweł Parys, Parys, Paweł, Aleksander Wiącek +1 · 1 citation
Computer Science · #Artificial Intelligence in Games #Complexity and Algorithms in Graphs #Computer Science and Game Theory (cs.GT) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification