BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Japan
1 × Russia
3 × USA
Collaborated with:
J.Esparza K.Chatterjee M.Weininger P.Ashok S.Sickert M.C.0002 T.Brázdil T.Meggendorfer P.Daca Z.Komárková A.Gaiser V.Forejt A.Kucera S.Jaax E.Kelmendi J.Krämer C.Ziegler M.Chmelik A.Fellner N.Benes T.A.Henzinger D.Nickovic T.Babiak F.Blahoudek A.Duret-Lutz J.Klein D.Müller D.Parker J.Strejcek
Talks about:
automata (5) determinist (4) process (4) markov (4) decis (4) ltl (4) probabilist (2) stochast (2) composit (2) rabin (2)

Person: Jan Kretínský

DBLP DBLP: Kret=iacute=nsk=yacute=:Jan

Contributed to:

CAV 20152015
CBSE 20152015
LICS 20152015
CAV 20142014
CAV 20132013
CAV 20122012
LICS 20082008
CAV (2) 20162016
CAV (1) 20172017
CAV (1) 20182018
CAV (1) 20192019

Wrote 14 papers:

The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
CAV-2015-BrazdilCCFK #learning #markov #process
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
CBSE-2015-BenesDHKN #composition #testing
Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
LICS-2015-ChatterjeeKK #markov #multi #process
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.
CAV-2014-EsparzaK #approach #automaton #composition #ltl
From LTL to Deterministic Automata: A Safraless Compositional Approach (JE, JK), pp. 192–208.
CAV-2013-ChatterjeeGK #automaton #ltl #model checking #probability #synthesis
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (KC, AG, JK), pp. 559–575.
CAV-2012-KretinskyE #automaton #ltl
Deterministic Automata for the (F, G)-Fragment of LTL (JK, JE), pp. 7–22.
LICS-2008-BrazdilFKK #probability #problem #satisfiability
The Satisfiability Problem for Probabilistic CTL (TB, VF, JK, AK), pp. 391–402.
CAV-2016-SickertEJK #automaton #linear #logic
Limit-Deterministic Büchi Automata for Linear Temporal Logic (SS, JE, SJ, JK), pp. 312–332.
CAV-2017-AshokCDKM #markov #process
Value Iteration for Long-Run Average Reward in Markov Decision Processes (PA, KC, PD, JK, TM), pp. 201–221.
CAV-2018-KelmendiKKW #algorithm #game studies #learning #probability
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (EK, JK, JK, MW), pp. 623–642.
CAV-2018-KretinskyMSZ #automaton #ltl
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton (JK, TM, SS, CZ), pp. 567–577.
CAV-2019-AshokKW #game studies #markov #model checking #probability #process #statistics
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (PA, JK, MW), pp. 497–519.
CAV-2019-CeskaK #abstraction #analysis #network
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (MC0, JK), pp. 475–496.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.