Skip to main navigation
Skip to search
Skip to main content
Technical University of Munich Home
Help & FAQ
English
Deutsch
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Impacts
Search by expertise, name or affiliation
Informatics 7 - Associate Professorship of Formal Methods for Software Reliability
Computation, Information and Technology
Department of Computer Science
Overview
Network
Profiles
(1)
Research output
(102)
Research output
Research output per year
2010
2013
2017
2018
2019
2020
2021
2022
2024
2025
79
Conference contribution
16
Article
3
Chapter
2
Conference article
2
More
1
Paper
1
Editorial
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Conference article
Search results
2020
Comparison of algorithms for simple stochastic games
Křetínský, J.
, Ramneantu, E., Slivinskiy, A. & Weininger, M.,
20 Sep 2020
,
In:
Electronic Proceedings in Theoretical Computer Science, EPTCS.
326
,
p. 131-148
18 p.
Research output
:
Contribution to journal
›
Conference article
›
peer-review
Open Access
Quadratic Programming
100%
Algorithm Comparison
100%
Simple Stochastic Games
100%
Optimal Strategy
33%
Turn-based
33%
5
Scopus citations
Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward
Kretínský, J.
, Michel, F., Michel, L. & Pérez, G. A.,
2020
,
In:
Proceedings of Machine Learning Research.
124
,
p. 1149-1158
10 p.
Research output
:
Contribution to journal
›
Conference article
›
peer-review
Markov Decision Process
100%
Average Reward
100%
Near-optimal
100%
Optimal Learning
100%
Finite Memory
100%
2
Scopus citations