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

2023

• Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias WEININGER Maximilian

  Článek ve sborníku

  2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, rok: 2023

• Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

  CHAU Calvin KŘETÍNSKÝ Jan MOHR Stefanie

  Článek ve sborníku

  Automated Technology for Verification and Analysis. ATVA 2023, rok: 2023

2022

• Abstraction-Based Segmental Simulation of Chemical Reaction Networks

  HELFRICH Martin ČEŠKA Milan KŘETÍNSKÝ Jan MARTICEK Stefan

  Článek ve sborníku

  Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings, rok: 2022

• Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

  GROVER Kush KŘETÍNSKÝ Jan MEGGENDORFER Tobias WEININGER Maximilian

  Článek ve sborníku

  33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., rok: 2022

• Comparison of algorithms for simple stochastic games

  KŘETÍNSKÝ Jan RAMNEANTU Emanuel SLIVINSKIY Alexander WEININGER Maximilian

  Článek v odborném periodiku

  Information and Computation, rok: 2022, ročník: 289, vydání: 104885, DOI

• From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

  ESPARZA Javier KŘETÍNSKÝ Jan RASKIN Jean-François SICKERT Salomon

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer, rok: 2022, ročník: 24, vydání: 4, DOI

• Index appearance record with preorders

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias WALDMANN Clara WEININGER Maximilian

  Článek v odborném periodiku

  Acta informatica, rok: 2022, ročník: 59, vydání: 5, DOI

• Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

  BORTOLUSSI Luca GALLO Giuseppe Maria KŘETÍNSKÝ Jan NENZI Laura

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, rok: 2022

• Optimistic and Topological Value Iteration for Simple Stochastic Games

  AZEEM Muqsit EVANGELIDIS Alexandros KŘETÍNSKÝ Jan SLIVINSKIY Alexander WEININGER Maximilian

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, rok: 2022

• PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

  AGARWAL Chaitanya GUHA Shibashis KŘETÍNSKÝ Jan MURUGANANDHAM Pazhamalai

  Článek ve sborníku

  Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, rok: 2022