Maximilian Weininger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Stopping criteria for value iteration on stochastic games with quantitative objectives	2026-02-27	Paper
Stochastic games with disjunctions of multiple objectives	2024-12-06	Paper
Stochastic games with lexicographic objectives Formal Methods in System Design	2024-11-04	Paper
Anytime guarantees for reachability in uncountable Markov decision processes	2024-08-13	Paper
PAC statistical model checking for Markov decision processes and stochastic games Computer Aided Verification	2024-02-16	Paper
A practitioner's guide to MDP model checking algorithms	2023-12-13	Paper
scientific article; zbMATH DE number 7730607 (Why is no real title available?)	2023-08-21	Paper
Optimistic and topological value iteration for simple stochastic games Automated Technology for Verification and Analysis	2023-06-02	Paper
Value iteration for simple stochastic games: stopping criterion and learning algorithm Computer Aided Verification	2023-05-26	Paper
Comparison of algorithms for simple stochastic games Information and Computation	2022-12-08	Paper
Index appearance record with preorders Acta Informatica	2022-09-26	Paper
Value iteration for simple stochastic games: stopping criterion and learning algorithm Information and Computation	2022-06-08	Paper
Comparison of algorithms for simple stochastic games	2022-01-11	Paper
Comparison of algorithms for simple stochastic games (available as arXiv preprint)	2022-01-11	Paper
Stochastic games with lexicographic reachability-safety objectives (available as arXiv preprint)	2021-02-09	Paper
Automata Tutor v3 (available as arXiv preprint)	2021-02-09	Paper
dtControl Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
dtControl Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Approximating values of generalized-reachability stochastic games Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Index appearance record for transforming Rabin automata into parity automata Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper

Research outcomes over time

This page was built for person: Maximilian Weininger