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

2018

• Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm

  KELMENDI Edon KRÄMER Julia KŘETÍNSKÝ Jan WEININGER Maximilian

  Článek ve sborníku

  Computer Aided Verification (CAV 2018), rok: 2018

2017

• 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 v odborném periodiku

  Nonlinear Analysis: Hybrid Systems, rok: 2017, ročník: 23, vydání: February 2017, DOI

2016

• Faster Statistical Model Checking for Unbounded Temporal Properties

  DACA Przemyslaw HENZINGER Thomas A. KŘETÍNSKÝ Jan PETROV Tatjana

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, rok: 2016

• From LTL to deterministic automata (A safraless compositional approach)

  ESPARZA Javier KŘETÍNSKÝ Jan SICKERT Salomon

  Článek v odborném periodiku

  Formal Methods in System Design, rok: 2016, ročník: 49, vydání: 3, DOI

• Limit-Deterministic Büchi Automata for Linear Temporal Logic

  SICKERT Salomon ESPARZA Javier JAAX Stefan KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computer Aided Verification - 28th International Conference, CAV 2016, rok: 2016

• Linear Distances between Markov Chains

  DACA Przemyslaw HENZINGER Thomas A. KŘETÍNSKÝ Jan PETROV Tatjana

  Článek ve sborníku

  27th International Conference on Concurrency Theory, CONCUR 2016, rok: 2016

• MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata

  SICKERT Salomon KŘETÍNSKÝ Jan

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, rok: 2016

• Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances

  KŘETÍNSKÝ Jan

  Článek ve sborníku

  Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, rok: 2016

2015

• Complete Composition Operators for IOCO-Testing Theory

  BENEŠ Nikola DACA Przemysław HENZINGER Thomas A. KŘETÍNSKÝ Jan NIČKOVIĆ Dejan

  Článek ve sborníku

  Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, rok: 2015

• Compositionality for Quantitative Specifications

  FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel TRAONOUEZ Louis-Marie

  Článek ve sborníku

  The 11th International Symposium on Formal Aspects of Component Software - FACS 2014, rok: 2015