Maximilian Weininger

12 Publications

Mark all

[12]
2025 | Published | Conference Paper | IST-REx-ID: 20610
Meggendorfer T, Weininger M, Wienhöft P. What are the odds? Improving statistical model checking of Markov decision processes. In: Second International Joint Conference on QEST+FORMATS. Vol 16143. Springer Nature; 2025:195-218. doi:10.1007/978-3-032-05792-1_11
View | DOI
 
[11]
2025 | Published | Conference Paper | IST-REx-ID: 20688 | OA
Grobelna M, Kretinsky J, Weininger M. Stopping criteria for value iteration on concurrent stochastic reachability and safety games. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:568-580. doi:10.1109/lics65433.2025.00049
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[10]
2025 | Published | Conference Paper | IST-REx-ID: 20690 | OA
Brihaye T, Chatterjee K, Mohr S, Weininger M. Risk-aware Markov decision processes using cumulative prospect theory. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:458-471. doi:10.1109/lics65433.2025.00041
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[9]
2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
Azeem M, Chakraborty D, Kanav S, et al. 1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization. In: 26th International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 15530. Springer Nature; 2025:97-120. doi:10.1007/978-3-031-82703-7_5
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[8]
2025 | Published | Conference Paper | IST-REx-ID: 19666 | OA
Meggendorfer T, Weininger M, Wienhöft P. Solving robust Markov decision processes: Generic, reliable, efficient. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26631-26641. doi:10.1609/aaai.v39i25.34865
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[7]
2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:167-190. doi:10.1007/978-3-031-90643-5_9
[Published Version] View | Files available | DOI | arXiv
 
[6]
2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Fixed point certificates for reachability and expected rewards in MDPs. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7
[Published Version] View | Files available | DOI | arXiv
 
[5]
2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). 2025. doi:10.5281/ZENODO.14602066
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[4]
2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[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 T, Weininger M. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In: 36th International Conference on Computer Aided Verification. Vol 14683. Springer Nature; 2024:359-372. 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 J, Meggendorfer T, Weininger M. Stopping criteria for value iteration on stochastic games with quantitative objectives. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science. Vol 2023. Institute of Electrical and Electronics Engineers; 2023. doi:10.1109/LICS56636.2023.10175771
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

  • 11 OA Fulltext(s)

Display / Sort

Citation Style: AMA

Export / Embed

Grants


12 Publications

Mark all

[12]
2025 | Published | Conference Paper | IST-REx-ID: 20610
Meggendorfer T, Weininger M, Wienhöft P. What are the odds? Improving statistical model checking of Markov decision processes. In: Second International Joint Conference on QEST+FORMATS. Vol 16143. Springer Nature; 2025:195-218. doi:10.1007/978-3-032-05792-1_11
View | DOI
 
[11]
2025 | Published | Conference Paper | IST-REx-ID: 20688 | OA
Grobelna M, Kretinsky J, Weininger M. Stopping criteria for value iteration on concurrent stochastic reachability and safety games. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:568-580. doi:10.1109/lics65433.2025.00049
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[10]
2025 | Published | Conference Paper | IST-REx-ID: 20690 | OA
Brihaye T, Chatterjee K, Mohr S, Weininger M. Risk-aware Markov decision processes using cumulative prospect theory. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:458-471. doi:10.1109/lics65433.2025.00041
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[9]
2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
Azeem M, Chakraborty D, Kanav S, et al. 1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization. In: 26th International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 15530. Springer Nature; 2025:97-120. doi:10.1007/978-3-031-82703-7_5
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[8]
2025 | Published | Conference Paper | IST-REx-ID: 19666 | OA
Meggendorfer T, Weininger M, Wienhöft P. Solving robust Markov decision processes: Generic, reliable, efficient. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26631-26641. doi:10.1609/aaai.v39i25.34865
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[7]
2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:167-190. doi:10.1007/978-3-031-90643-5_9
[Published Version] View | Files available | DOI | arXiv
 
[6]
2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Fixed point certificates for reachability and expected rewards in MDPs. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7
[Published Version] View | Files available | DOI | arXiv
 
[5]
2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). 2025. doi:10.5281/ZENODO.14602066
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[4]
2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[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 T, Weininger M. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In: 36th International Conference on Computer Aided Verification. Vol 14683. Springer Nature; 2024:359-372. 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 J, Meggendorfer T, Weininger M. Stopping criteria for value iteration on stochastic games with quantitative objectives. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science. Vol 2023. Institute of Electrical and Electronics Engineers; 2023. doi:10.1109/LICS56636.2023.10175771
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

  • 11 OA Fulltext(s)

Display / Sort

Citation Style: AMA

Export / Embed