• Published

  SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

  Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

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

• Published

  Sound Statistical Model Checking for Probabilities and Expected Rewards

  Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 167-190 24 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

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

• Published

  Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

  Meggendorfer, T., Weininger, M. & Wienhöft, P., 11/04/2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, p. 26631-26641 11 p.

  Research output: Contribution to Journal/Magazine › Conference article › peer-review

View all (32) »