Algorithms for computationally hard problems in automata theory

Project Details

Effective start/end date25/03/1224/03/14


  • Other (Learned Society): £12,000.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • 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