Home > Research > Researchers > Professor Tobias Meggendorfer > Publications

Research

Professor Tobias Meggendorfer

Assistant Professor (Lecturer) in Computer Science

31 - 32 out of 32Page size: 10
RSS feed of this list
  1. 2017
  2. Published

    Value Iteration for Long-Run Average Reward in Markov Decision Processes.

    Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. & Meggendorfer, T., 13/07/2017, CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham: Springer, p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Index Appearance Record for Transforming Rabin Automata into Parity Automata.

    Kretínský, J., Meggendorfer, T., Waldmann, C. & Weininger, M., 31/03/2017, TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 443-460 18 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 4 Next

Back to top