prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

2015

• Controller Synthesis for MDPs and Frequency LTL\GU

  FOREJT Vojtěch KRČÁL Jan KŘETÍNSKÝ Jan

  Článek ve sborníku

  LPAR 2015, rok: 2015

• Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu CHMELÍK Martin FELLNER Andreas KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computer Aided Verification: 27th International Conference, CAV 2015, rok: 2015

• Polynomial Time Decidability of Weighted Synchronization under Partial Observability

  KŘETÍNSKÝ Jan LARSEN Kim Guldstrand LAURSEN Simon SRBA Jiří

  Článek ve sborníku

  26th International Conference on Concurrency Theory (CONCUR 2015), rok: 2015

• Refinement checking on parametric modal transition systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SICKERT Salomon SRBA Jiří

  Článek v odborném periodiku

  Acta Informatica, rok: 2015, ročník: 52, vydání: 2-3, DOI

• Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games

  SVOREŇOVÁ Mária KŘETÍNSKÝ Jan CHMELÍK Martin CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

  Článek ve sborníku

  Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015

• The Hanoi Omega-Automata Format

  BABIAK Tomáš BLAHOUDEK František DURET-LUTZ Alexandre KLEIN Joachim KŘETÍNSKÝ Jan MÜLLER David PARKER David STREJČEK Jan

  Článek ve sborníku

  Computer Aided Verification: 27th International Conference, CAV 2015, rok: 2015

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

  CHATTERJEE Krishnendu KOMÁRKOVÁ Zuzana KŘETÍNSKÝ Jan

  Článek ve sborníku

  Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), rok: 2015

2014

• From LTL to Deterministic Automata: A Safraless Compositional Approach

  ESPARZA Javier KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computer Aided Verification - 26th International Conference, CAV 2014, rok: 2014

• Probabilistic Bisimulation: Naturally on Distributions

  HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan

  Článek ve sborníku

  CONCUR 2014 - Concurrency Theory - 25th International Conference, rok: 2014

• Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata

  KOMÁRKOVÁ Zuzana KŘETÍNSKÝ Jan

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014