Maximilian Weininger
Title
Cited by
Cited by
Year
Building ProteomeTools based on a complete synthetic human proteome
DP Zolg, M Wilhelm, K Schnatbaum, J Zerweck, T Knaute, B Delanghe, ...
Nature methods 14 (3), 259-262, 2017
1242017
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
E Kelmendi, J Krämer, J Křetínský, M Weininger
International conference on computer aided verification, 623-642, 2018
182018
PAC statistical model checking for Markov decision processes and stochastic games
P Ashok, J Křetínský, M Weininger
International Conference on Computer Aided Verification, 497-519, 2019
142019
dtControl: decision tree learning algorithms for controller representation
P Ashok, M Jackermeier, P Jagtap, J Křetínský, M Weininger, M Zamani
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
92020
Index appearance record for transforming rabin automata into parity automata
J Křetínský, T Meggendorfer, C Waldmann, M Weininger
International Conference on Tools and Algorithms for the Construction and …, 2017
92017
SOS: Safe, optimal and small strategies for hybrid markov decision processes
P Ashok, J Křetínský, KG Larsen, A Le Coënt, JH Taankvist, M Weininger
International Conference on Quantitative Evaluation of Systems, 147-164, 2019
72019
Approximating values of generalized-reachability stochastic games
P Ashok, K Chatterjee, J Křetínský, M Weininger, T Winkler
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
62020
Stochastic Games with Lexicographic Reachability-Safety Objectives
K Chatterjee, JP Katoen, M Weininger, T Winkler
International Conference on Computer Aided Verification, 398-420, 2020
42020
Satisfiability bounds for ω-regular properties in bounded-parameter Markov decision processes
M Weininger, T Meggendorfer, J Křetínský
2019 IEEE 58th Conference on Decision and Control (CDC), 2284-2291, 2019
32019
dtControl 2.0: Explainable strategy representation via decision tree learning steered by experts
P Ashok, M Jackermeier, J Křetínský, C Weinhuber, M Weininger, ...
arXiv preprint arXiv:2101.07202, 2021
12021
Statistical Model Checking: Black or White?
P Ashok, P Daca, J Křetínský, M Weininger
International Symposium on Leveraging Applications of Formal Methods, 331-349, 2020
12020
Comparison of Algorithms for Simple Stochastic Games
J Křetínský, E Ramneantu, A Slivinskiy, M Weininger
arXiv preprint arXiv:2009.10882, 2020
12020
Automata tutor v3
L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger
International Conference on Computer Aided Verification, 3-14, 2020
12020
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
J Groote, K Larsen, P Ashok, M Jackermeier, J Křetínský, C Weinhuber, ...
Tools and Algorithms for the Construction and Analysis of Systems27th …, 2021
2021
Online Monitoring -Regular Properties in Unknown Markov Chains
J Esparza, S Kiefer, J Kretinsky, M Weininger
arXiv preprint arXiv:2010.08347, 2020
2020
Comparison of Algorithms for Simple Stochastic Games (Full version)
J Kretinsky, E Ramneantu, A Slivinskiy, M Weininger
arXiv preprint arXiv:2008.09465, 2020
2020
An Anytime Algorithm for Reachability on Uncountable MDP
K Grover, J Křetínský, T Meggendorfer, M Weininger
arXiv preprint arXiv:2008.04824, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–17