Jan Kretínský

According to our database, Jan Kretínský authored at least 144 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Abstraction-based segmental simulation of reaction networks using adaptive memoization.

Martin Helfrich, Roman Andriushchenko, Milan Ceska, Jan Kretínský, Stefan Marticek, David Safránek

BMC Bioinform., December, 2024

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.

Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel

Dataset, February, 2024

Stochastic Games (Dagstuhl Seminar 24231).

Nathanaël Fijalkow, Jan Kretínský, Ann Nowé, Gabriel Bathie

Dagstuhl Reports, 2024

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes.

Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský

CoRR, 2024

Sound Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Jan Kretínský, Maximilian Weininger

CoRR, 2024

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.

Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

CoRR, 2024

Learning Algorithms for Verification of Markov Decision Processes.

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma

CoRR, 2024

Statistical Model Checking the 2024 Edition!

Sudeep Kanav, Jan Kretínský, Kim G. Larsen

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Learning Explainable and Better Performing Representations of POMDP Strategies.

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.

Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff

Proceedings of the Runtime Verification - 24th International Conference, 2024

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.

Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Kretínský

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.

Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.

Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.

Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Monitizer: Automating Design and Evaluation of Neural Network Monitors.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community.

Sudeep Kanav, Jan Kretínský, Sabine Rieder

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies.

Alexander Bork, Debraj Chakraborty, Kush Grover, Stefanie Mohr, Jan Kretínský

Dataset, December, 2023

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies.

Alexander Bork, Debraj Chakraborty, Kush Grover, Stefanie Mohr, Jan Kretínský

Dataset, December, 2023

Monitizer.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Dataset, October, 2023

Monitizer.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Dataset, October, 2023

QComp LRA results.

Kush Grover, Maximilian Weininger, Jan Kretínský

Dataset, August, 2023

Algebraically explainable controllers: decision trees and support vector machines join forces.

Florian Jüngermann, Jan Kretínský, Maximilian Weininger

Int. J. Softw. Tools Technol. Transf., June, 2023

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.

Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel

Dataset, May, 2023

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.

Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel

Dataset, May, 2023

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.

Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel

Dataset, May, 2023

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.

Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel

CoRR, 2023

Welcome Remarks from AISoLA 2023/Track C2 Chairs.

Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen

Proceedings of the Bridging the Gap Between AI and Reality, 2023

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

Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Learning Attack Trees by Genetic Algorithms.

Florian Dorfhuber, Julia Eisentraut, Jan Kretínský

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.

Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt

Proceedings of the Formal Methods - 25th International Symposium, 2023

Guessing Winning Policies in LTL Synthesis by Semantic Learning.

Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.

Calvin Chau, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Artifact for CMSB22 paper "Abstraction-Based Segmental Simulation of Chemical Reaction Networks".

Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek

Dataset, June, 2022

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

Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert

Int. J. Softw. Tools Technol. Transf., 2022

Value iteration for simple stochastic games: Stopping criterion and learning algorithm.

Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger

Inf. Comput., 2022

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

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai

CoRR, 2022

Index appearance record with preorders.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger

Acta Informatica, 2022

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

Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Planning via model checking with decision-tree controllers.

Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Abstraction-Based Segmental Simulation of Chemical Reaction Networks.

Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek

Proceedings of the Computational Methods in Systems Biology, 2022

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

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge.

Miroslav Chodil, Antonín Kucera, Jan Kretínský

Proceedings of the Principles of Systems Design, 2022

Optimistic and Topological Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact).

Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

Dataset, January, 2021

Formalizing and guaranteeing human-robot interaction.

Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh

Commun. ACM, 2021

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.

Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.

Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis

Proceedings of the Runtime Verification - 21st International Conference, 2021

Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments.

Kush Grover, Fernando S. Barbosa, Jana Tumova, Jan Kretínský

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

LTL-Constrained Steady-State Policy Synthesis.

Jan Kretínský

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions.

Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Enforcing ω-Regular Properties in Markov Chains by Restarting.

Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.

Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package).

Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani

Dataset, April, 2020

Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer

Log. Methods Comput. Sci., 2020

A Unified Translation of Linear Temporal Logic to ω-Automata.

Javier Esparza, Jan Kretínský, Salomon Sickert

J. ACM, 2020

Logical vs. behavioural specifications.

Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez

Inf. Comput., 2020

Online Monitoring ω-Regular Properties in Unknown Markov Chains.

Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger

CoRR, 2020

Comparison of Algorithms for Simple Stochastic Games.

Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger

Proceedings of the Proceedings 11th International Symposium on Games, 2020

Comparison of Algorithms for Simple Stochastic Games (Full Version).

Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger

CoRR, 2020

An Anytime Algorithm for Reachability on Uncountable MDP.

Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

CoRR, 2020

Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward.

Jan Kretínský, Fabian Michel, Lukas Michel, Guillermo A. Pérez

Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Approximating Values of Generalized-Reachability Stochastic Games.

Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Statistical Model Checking: Black or White?

Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

dtControl: decision tree learning algorithms for controller representation.

Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Automata Tutor v3.

Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.

Milan Ceska, Calvin Chau, Jan Kretínský

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

DeepAbstract: Neural Network Abstraction for Accelerating Verification.

Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Jan Kretínský, Alexander Manta, Tobias Meggendorfer

Dataset, June, 2019

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Jan Kretínský, Alexander Manta, Tobias Meggendorfer

Dataset, June, 2019

Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games.

Julia Eisentraut, Jan Kretínský, Alexej Rotar

CoRR, 2019

Approximating Values of Generalized-Reachability Stochastic Games.

Pranav Ashok, Jan Kretínský, Maximilian Weininger

CoRR, 2019

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Expected Cost Analysis of Attack-Defense Trees.

Julia Eisentraut, Jan Kretínský

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.

Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Strategy Representation by Decision Trees with Linear Classifiers.

Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract).

Milan Ceska, Jan Kretínský

Proceedings of the Computational Methods in Systems Biology, 2019

Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.

Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks.

Milan Ceska, Jan Kretínský

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.

Pranav Ashok, Jan Kretínský, Maximilian Weininger

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Jan Kretínský, Alexander Manta, Tobias Meggendorfer

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Compositionality for quantitative specifications.

Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez

Soft Comput., 2018

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121).

Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský

Dagstuhl Reports, 2018

LTL Store: Repository of LTL formulae from literature and case studies.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert

CoRR, 2018

Strategy Representation by Decision Trees in Reactive Synthesis.

Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.

Javier Esparza, Jan Kretínský, Salomon Sickert

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.

Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL.

Jan Kretínský, Alexej Rotar

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints.

Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

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

Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Owl: A Library for ω-Words, Automata, and LTL.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert

Proceedings of the Automated Technology for Verification and Analysis, 2018

Continuous-Time Markov Decisions Based on Partial Exploration.

Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Faster Statistical Model Checking for Unbounded Temporal Properties.

Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov

ACM Trans. Comput. Log., 2017

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

Krishnendu Chatterjee, Zuzana Kretínská, Jan Kretínský

Log. Methods Comput. Sci., 2017

Index Appearance Record for Transforming Rabin Automata into Parity Automata.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.

Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

30 Years of Modal Transition Systems: Survey of Extensions and Analysis.

Jan Kretínský

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

From LTL to deterministic automata - A safraless compositional approach.

Javier Esparza, Jan Kretínský, Salomon Sickert

Formal Methods Syst. Des., 2016

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

Jan Kretínský

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Linear Distances between Markov Chains.

Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov

Proceedings of the 27th International Conference on Concurrency Theory, 2016

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

Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata.

Salomon Sickert, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems (Verifikation von non-deterministischen Markovischen Systemen mit diskreter oder kontinuierlicher Zeit)

Jan Kretínský

PhD thesis, 2015

Controller synthesis for MDPs and Frequency LTL$\setminus$GU.

Vojtech Forejt, Jan Krcál, Jan Kretínský

CoRR, 2015

Refinement checking on parametric modal transition systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba

Acta Informatica, 2015

Controller Synthesis for MDPs and Frequency LTL_\GU.

Vojtech Forejt, Jan Krcál, Jan Kretínský

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.

María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Polynomial Time Decidability of Weighted Synchronization under Partial Observability.

Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Complete Composition Operators for IOCO-Testing Theory.

Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic

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

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

The Hanoi Omega-Automata Format.

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Probabilistic Bisimulation: Naturally on Distributions.

Holger Hermanns, Jan Krcál, Jan Kretínský

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

From LTL to Deterministic Automata: A Safraless Compositional Approach.

Javier Esparza, Jan Kretínský

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

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

Zuzana Komárková, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2014

Verification of Markov Decision Processes Using Learning Algorithms.

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Continuous-time stochastic games with time-bounded reachability.

Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera

Inf. Comput., 2013

On time-average limits in deterministic and stochastic petri nets.

Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

On Refinements of Boolean and Parametric Modal Transition Systems.

Jan Kretínský, Salomon Sickert

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Compositional Verification and Optimization of Interactive Markov Chains.

Holger Hermanns, Jan Krcál, Jan Kretínský

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.

Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.

Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

MoTraS: A Tool for Modal Transition Systems and Their Extensions.

Jan Kretínský, Salomon Sickert

Proceedings of the Automated Technology for Verification and Analysis, 2013

Rabinizer 2: Small Deterministic Automata for LTL ∖ GU.

Jan Kretínský, Ruslán Ledesma-Garza

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

EXPTIME-completeness of thorough refinement on modal transition systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba

Inf. Comput., 2012

Dual-Priced Modal Transition Systems with Time Durations.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Modal Process Rewrite Systems.

Nikola Benes, Jan Kretínský

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Verification of Open Interactive Markov Chains.

Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Deterministic Automata for the (F, G)-Fragment of LTL.

Jan Kretínský, Javier Esparza

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Rabinizer: Small Deterministic Automata for LTL(F, G).

Andreas Gaiser, Jan Kretínský, Javier Esparza

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Measuring performance of continuous-time stochastic processes using timed automata.

Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Fixed-Delay Events in Generalized Semi-Markov Processes Revisited.

Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Parametric Modal Transition Systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2011

Modal Transition Systems: Composition and LTL Model Checking.

Nikola Benes, Ivana Cerná, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Process Algebra for Modal Transition Systemses.

Nikola Benes, Jan Kretínský

Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

Stochastic Real-Time Games with Qualitative Timed Automata Objectives.

Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

On determinism in modal transition systems.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba

Theor. Comput. Sci., 2009

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Computing, 2009

2008

The Satisfiability Problem for Probabilistic CTL.

Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008