Algorithms for computationally hard problems in automata theory

Project Details

StatusFinished
Effective start/end date25/03/12 → 24/03/14

Funding

  • Other (Learned Society): £12,000.00

Fingerprint

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.
View full fingerprint
  • 1 Conference contribution

  • 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 proceeding › Conference contribution

    File