Concepedia

Jan Křetínský

JK

24

Publications

490

Citations

16

H-Index

2008

Active since

Affiliations

Technical University of Munich(Current)

Masaryk University

Institute of Science and Technology Austria

University of Oxford

Jan Křetínský is an author at Technical University of Munich specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringGame TheoryVerificationComputational ComplexityGames

Publications per year

2008–2022

24

Publications

24

On determinism in modal transition systems

Nikola Beneš, Jan Křetínský, Kim G. Larsen et al. · Theoretical Computer Science · 2009 · 43 citations

Deterministic Dynamical System, Deterministic System, Modal Transition Systems +2

The Satisfiability Problem for Probabilistic CTL

Tomǎš Brázdil, Vojtěch Forejt, Jan Křetínský et al. · 2008 · 43 citations

Theory Of Computing, Probabilistic Verification, Quantitative Pctl +15

Faster Statistical Model Checking for Unbounded Temporal Properties

Przemysław Daca, Thomas A. Henzinger, Jan Křetínský et al. · ACM Transactions on Computational Logic · 2017 · 29 citations

Reachability Analysis, Engineering, Runtime Verification +14

Continuous-Time Stochastic Games with Time-Bounded Reachability

Tomǎš Brázdil, Vojtěch Forejt, Jan Krčál et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009 · 29 citations · Full text

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Krishnendu Chatterjee, Zuzana Komárková, Jan Křetínský · 2015 · 28 citations

Mathematical Programming, Engineering, Game Theory +18

Rows per page

1–5 of 24