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: Kret=iacute=nsk=yacute=:Jan
Contributed to:
2015
2015
201520142013201220082016201720182019Wrote 14 papers:
- CAV-2015-BabiakBDKKM0S
- 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.