Home > Research > Researchers > Professor Tobias Meggendorfer > Publications

Research

Professor Tobias Meggendorfer

Assistant Professor (Lecturer) in Computer Science

26 - 32 out of 32Page size: 25
RSS feed of this list
  1. 2019
  2. Published

    Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 1/08/2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). p. 1-17 17 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

  3. 2018
  4. Published

    Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

    Kretínský, J., Meggendorfer, T., Sickert, S. & Ziegler, C., 18/07/2018, CAV 2018: Computer Aided Verification . Springer, p. 567-577 11 p.

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

  5. Published

    Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 9/07/2018, LICS. p. 609-618 10 p.

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

  6. Published

    Owl: A Library for ω-Words, Automata, and LTL.

    Kretínský, J., Meggendorfer, T. & Sickert, S., 2018, ATVA 2018: Automated Technology for Verification and Analysis. Springer, p. 543-550 8 p.

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

  7. 2017
  8. Published

    Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 27/09/2017, ATVA 2017: Automated Technology for Verification and Analysis . Springer, p. 380-399 20 p.

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

  9. 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

  10. 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 Next

Back to top