Maximilian Weininger

Available identifiers

zbMath Open weininger.maximilianMaRDI QIDQ2105471

List of research outcomes

Publication	Date of Publication	Type
PAC statistical model checking for Markov decision processes and stochastic games	2024-02-16	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
https://portal.mardi4nfdi.de/entity/Q5021007	2022-01-11	Paper
Automata Tutor v3	2021-02-09	Paper
Stochastic games with lexicographic reachability-safety objectives	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maximilian Weininger