Maximilian Weininger

14 Publications

Mark all

[14]
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21661 | OA
Hartmanns, Arnd, et al. “The Revised Practitioner’s Guide to MDP Model Checking Algorithms.” International Journal on Software Tools for Technology Transfer, Springer Nature, 2026, doi:10.1007/s10009-026-00848-y.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[13]
2025 | Research Data Reference | IST-REx-ID: 21668 | OA
Hartmanns, Arnd, et al. Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms. Zenodo, 2025, doi:10.5281/ZENODO.14500423.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[12]
2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
Azeem, Muqsit, et al. “1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.” 26th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 15530, Springer Nature, 2025, pp. 97–120, doi:10.1007/978-3-031-82703-7_5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[11]
2025 | Published | Conference Paper | IST-REx-ID: 19666 | OA
Meggendorfer, Tobias, et al. “Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 25, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–41, doi:10.1609/aaai.v39i25.34865.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[10]
2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Budde, Carlos E., et al. “Sound Statistical Model Checking for Probabilities and Expected Rewards.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 167–90, doi:10.1007/978-3-031-90643-5_9.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Budde, Carlos, et al. Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package). Zenodo, 2025, doi:10.5281/ZENODO.14602066.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[8]
2025 | Published | Conference Paper | IST-REx-ID: 20610
Meggendorfer, Tobias, et al. “What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes.” Second International Joint Conference on QEST+FORMATS, vol. 16143, Springer Nature, 2025, pp. 195–218, doi:10.1007/978-3-032-05792-1_11.
View | DOI
 
[7]
2025 | Published | Conference Paper | IST-REx-ID: 20688 | OA
Grobelna, Marta, et al. “Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.” 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–80, doi:10.1109/lics65433.2025.00049.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[6]
2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Chatterjee, Krishnendu, et al. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 130–51, doi:10.1007/978-3-031-90653-4_7.
[Published Version] View | Files available | DOI | arXiv
 
[5]
2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee, Krishnendu, et al. Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs. Zenodo, 2025, doi:10.5281/ZENODO.14626585.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[4]
2025 | Published | Conference Paper | IST-REx-ID: 20690 | OA
Brihaye, Thomas, et al. “Risk-Aware Markov Decision Processes Using Cumulative Prospect Theory.” 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–71, doi:10.1109/lics65433.2025.00041.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[3]
2024 | Published | Conference Paper | IST-REx-ID: 18600 | OA
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[2]
2024 | Published | Conference Paper | IST-REx-ID: 17402 | OA
Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” 36th International Conference on Computer Aided Verification, vol. 14683, Springer Nature, 2024, pp. 359–72, doi:10.1007/978-3-031-65633-0_16.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 13967 | OA
Kretinsky, Jan, et al. “Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.” 38th Annual ACM/IEEE Symposium on Logic in Computer Science, vol. 2023, IEEE, 2023, doi:10.1109/LICS56636.2023.10175771.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

Grants


14 Publications

Mark all

[14]
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21661 | OA
Hartmanns, Arnd, et al. “The Revised Practitioner’s Guide to MDP Model Checking Algorithms.” International Journal on Software Tools for Technology Transfer, Springer Nature, 2026, doi:10.1007/s10009-026-00848-y.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[13]
2025 | Research Data Reference | IST-REx-ID: 21668 | OA
Hartmanns, Arnd, et al. Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms. Zenodo, 2025, doi:10.5281/ZENODO.14500423.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[12]
2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
Azeem, Muqsit, et al. “1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.” 26th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 15530, Springer Nature, 2025, pp. 97–120, doi:10.1007/978-3-031-82703-7_5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[11]
2025 | Published | Conference Paper | IST-REx-ID: 19666 | OA
Meggendorfer, Tobias, et al. “Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 25, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–41, doi:10.1609/aaai.v39i25.34865.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[10]
2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Budde, Carlos E., et al. “Sound Statistical Model Checking for Probabilities and Expected Rewards.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 167–90, doi:10.1007/978-3-031-90643-5_9.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Budde, Carlos, et al. Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package). Zenodo, 2025, doi:10.5281/ZENODO.14602066.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[8]
2025 | Published | Conference Paper | IST-REx-ID: 20610
Meggendorfer, Tobias, et al. “What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes.” Second International Joint Conference on QEST+FORMATS, vol. 16143, Springer Nature, 2025, pp. 195–218, doi:10.1007/978-3-032-05792-1_11.
View | DOI
 
[7]
2025 | Published | Conference Paper | IST-REx-ID: 20688 | OA
Grobelna, Marta, et al. “Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.” 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–80, doi:10.1109/lics65433.2025.00049.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[6]
2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Chatterjee, Krishnendu, et al. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 130–51, doi:10.1007/978-3-031-90653-4_7.
[Published Version] View | Files available | DOI | arXiv
 
[5]
2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee, Krishnendu, et al. Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs. Zenodo, 2025, doi:10.5281/ZENODO.14626585.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[4]
2025 | Published | Conference Paper | IST-REx-ID: 20690 | OA
Brihaye, Thomas, et al. “Risk-Aware Markov Decision Processes Using Cumulative Prospect Theory.” 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–71, doi:10.1109/lics65433.2025.00041.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[3]
2024 | Published | Conference Paper | IST-REx-ID: 18600 | OA
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[2]
2024 | Published | Conference Paper | IST-REx-ID: 17402 | OA
Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” 36th International Conference on Computer Aided Verification, vol. 14683, Springer Nature, 2024, pp. 359–72, doi:10.1007/978-3-031-65633-0_16.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 13967 | OA
Kretinsky, Jan, et al. “Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.” 38th Annual ACM/IEEE Symposium on Logic in Computer Science, vol. 2023, IEEE, 2023, doi:10.1109/LICS56636.2023.10175771.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed