No photo of Jan Oliver Ringert
  • 99
    Citations
Filter
Conference paper

Search results

  • 2021

    Efficient Algorithms for Omega-Regular Energy Games

    Amram, G., Maoz, S., Pistiner, O. & Ringert, J. O., 2021, Formal Methods - 24th International Symposium, FM 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 163-181 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13047 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    3 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.