Maximilian Weininger

Available identifiers

Publication	Date of Publication	Type
Stochastic games with disjunctions of multiple objectives	2024-12-06	Paper
Stochastic games with lexicographic objectives	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	2024-02-16	Paper
A practitioner's guide to MDP model checking algorithms	2023-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q6176097	2023-08-21	Paper
Optimistic and topological value iteration for simple stochastic games	2023-06-02	Paper
Value iteration for simple stochastic games: stopping criterion and learning algorithm	2023-05-26	Paper
Comparison of algorithms for simple stochastic games	2022-12-08	Paper
Index appearance record with preorders	2022-09-26	Paper
Value iteration for simple stochastic games: stopping criterion and learning algorithm	2022-06-08	Paper
Comparison of algorithms for simple stochastic games	2022-01-11	Paper
Stochastic games with lexicographic reachability-safety objectives	2021-02-09	Paper
Automata Tutor v3	2021-02-09	Paper
dtControl	2021-01-25	Paper
dtControl	2021-01-25	Paper
Approximating values of generalized-reachability stochastic games	2021-01-21	Paper
Index appearance record for transforming Rabin automata into parity automata	2020-08-05	Paper

This page was built for person: Maximilian Weininger