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

  Article in Proceedings

  Computer Aided Verification (CAV 2018), year: 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

  Article in Periodical

  Nonlinear Analysis: Hybrid Systems, year: 2017, volume: 23, edition: February 2017, DOI

2016

• Faster Statistical Model Checking for Unbounded Temporal Properties

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

  Article in Proceedings

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

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

  ESPARZA Javier KŘETÍNSKÝ Jan SICKERT Salomon

  Article in Periodical

  Formal Methods in System Design, year: 2016, volume: 49, edition: 3, DOI

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

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

  Article in Proceedings

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

• Linear Distances between Markov Chains

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

  Article in Proceedings

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

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

  SICKERT Salomon KŘETÍNSKÝ Jan

  Article in Proceedings

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

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

  KŘETÍNSKÝ Jan

  Article in Proceedings

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

2015

• Complete Composition Operators for IOCO-Testing Theory

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

  Article in Proceedings

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

• Compositionality for Quantitative Specifications

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

  Article in Proceedings

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