◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Jan Křetínský

53 papers hereh-index 302.4k citations126 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author15
  • middle author29
  • last author6

Across the 51 of 53 papers where every author was matched, so the position is known.

fields
  • cs.LO20
  • cs.AI9
  • eess.SY9
  • cs.GT7
  • cs.LG4
  • cs.FL3
same name
  • Jan Křetínský — 1 paper

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20132026
most citedSatisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes

8 citations · 43 across the 25 of their papers we have counts for

collaborators
Showing 2025 · cs.GTShow all

1 paper · 2 filters

cs.GT2025

Sound Value Iteration for Simple Stochastic Games

Muqsit Azeem, Jan Kretinsky, Maximilian Weininger

Algorithmic analysis of Markov decision processes (MDP) and stochastic games (SG) in practice relies on value-iteration (VI) algorithms. Since basic VI does not provide guarantees…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.