Algorithms for computationally hard problems in automata theory

Conference contribution

Search results

  • 2014

    Infinite-State Energy Games

    Aziz Abdulla, P., Faouzi Atig, M., Hofman, P., Mayr, R., Narayan Kumar, K. & Totzke, P., 3 May 2014, CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, 11 p. 7

    Research output: Chapter in Book/Report/Conference proceedingConference contribution