Home > Research > Browse

Results for Reachability

Publications & Outputs

  1. 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/ISSNConference contribution/Paperpeer-review