Home > Research > Browse

Results for anytime guarantee

Publications & Outputs

  1. Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

    Grover, K., Kretínský, J., Meggendorfer, T. & Weininger, M., 6/09/2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 11:1-11:20 20 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review