Home > Research > Browse

Research

Results for Markov decision processes

Publications & Outputs

  1. MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

    Akshay, S., Chatterjee, K., Meggendorfer, T. & Žikelić, Đ., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). p. 86-112 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

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

  2. PET - A Partial Exploration Tool for Probabilistic Verification.

    Meggendorfer, T., 21/10/2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

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

  3. A Novel Implementation of Q-Learning for the Whittle Index

    Gibson, L. J., Jacko, P. & Nazarathy, Y., 8/12/2021, Performance Evaluation Methodologies and Tools - 14th EAI International Conference, VALUETOOLS 2021, Proceedings. Zhao, Q. & Xia, L. (eds.). Cham: Springer, p. 154-170 17 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 404 LNICST).

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

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

  5. Nearly-optimal scheduling of users with Markovian time-varying transmission rates

    Cecchi, F. & Jacko, P., 05/2016, In: Performance Evaluation. 99-100, p. 16-36 21 p.

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

  6. Generalized restless bandits and the knapsack problem for perishable inventories

    Graczová, D. & Jacko, P., 05/2014, In: Operations Research. 62, 3, p. 696-711 16 p.

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