Jan Kretínský

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 124

Top Venues

Publications

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
Learning Explainable and Better Performing Representations of POMDP Strategies. TACAS (2) (2024)
Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR (2024)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CAV (2) (2024)
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC (2024)
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC (2024)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
Learning Algorithms for Verification of Markov Decision Processes. CoRR (2024)
Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Kretínský
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. CoRR (2024)
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
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CoRR (2024)
Calvin Chau, Jan Kretínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. CoRR (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. LICS (2023)
Florian Dorfhuber, Julia Eisentraut, Jan Kretínský
Learning Attack Trees by Genetic Algorithms. ICTAC (2023)
Calvin Chau, Jan Kretínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. ATVA (1) (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CoRR (2023)
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. CoRR (2023)
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA (2023)
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
Algebraically explainable controllers: decision trees and support vector machines join forces. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CAV (1) (2023)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index appearance record with preorders. Acta Informatica 59 (5) (2022)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. ATVA (2022)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) (2022)
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CoRR (2022)
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CoRR (2022)
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Comparison of algorithms for simple stochastic games. Inf. Comput. 289 (Part) (2022)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR (2022)
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. CoRR (2022)
Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský
Planning via model checking with decision-tree controllers. ICRA (2022)
Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger
Value iteration for simple stochastic games: Stopping criterion and learning algorithm. Inf. Comput. 285 (Part) (2022)
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces. CoRR (2022)
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CMSB (2022)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. CoRR (2022)
Miroslav Chodil, Antonín Kucera, Jan Kretínský
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. Principles of Systems Design (2022)
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. CONCUR (2022)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CoRR (2022)
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CAV (2) (2022)
Jan Kretínský
LTL-Constrained Steady-State Policy Synthesis. IJCAI (2021)
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games. CDC (2021)
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
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64 (9) (2021)
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
Enforcing ω-Regular Properties in Markov Chains by Restarting. CONCUR (2021)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. TACAS (2) (2021)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. CoRR (2021)
Kush Grover, Fernando S. Barbosa, Jana Tumova, Jan Kretínský
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. Robotics: Science and Systems (2021)
Jan Kretínský
LTL-Constrained Steady-State Policy Synthesis. CoRR (2021)
Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. ICTAC (2021)
Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. RV (2021)
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification. CoRR (2020)
Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Logical vs. behavioural specifications. Inf. Comput. 271 (2020)
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Comparison of Algorithms for Simple Stochastic Games (Full Version). CoRR (2020)
Javier Esparza, Jan Kretínský, Salomon Sickert
A Unified Translation of Linear Temporal Logic to ω-Automata. J. ACM 67 (6) (2020)
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
Online Monitoring ω-Regular Properties in Unknown Markov Chains. CoRR (2020)
Jan Kretínský, Fabian Michel, Lukas Michel, Guillermo A. Pérez
Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward. UAI (2020)
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
An Anytime Algorithm for Reachability on Uncountable MDP. CoRR (2020)
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games. LICS (2020)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) (2020)
Milan Ceska, Calvin Chau, Jan Kretínský
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. CAV (1) (2020)
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
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR (2020)
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
Statistical Model Checking: Black or White? ISoLA (1) (2020)
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Comparison of Algorithms for Simple Stochastic Games. GandALF (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CAV (2) (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Jan Kretínský, Tobias Meggendorfer
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Log. Methods Comput. Sci. 16 (4) (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CoRR (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR (2020)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CAV (1) (2019)
Jan Kretínský, Alexander Manta, Tobias Meggendorfer
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. CoRR (2019)
Milan Ceska, Jan Kretínský
Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. CoRR (2019)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. QEST (2019)
Julia Eisentraut, Jan Kretínský, Alexej Rotar
Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games. CoRR (2019)
Milan Ceska, Jan Kretínský
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. CAV (1) (2019)
Jan Kretínský, Tobias Meggendorfer
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CoRR (2019)
Milan Ceska, Jan Kretínský
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). CMSB (2019)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CoRR (2019)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. CoRR (2019)
Julia Eisentraut, Jan Kretínský
Expected Cost Analysis of Attack-Defense Trees. QEST (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR (2019)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Jan Kretínský, Tobias Meggendorfer
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CONCUR (2019)
Jan Kretínský, Alexander Manta, Tobias Meggendorfer
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. ATVA (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST (2019)
Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CDC (2019)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
Approximating Values of Generalized-Reachability Stochastic Games. CoRR (2019)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
Owl: A Library for ω-Words, Automata, and LTL. ATVA (2018)
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. CoRR (2018)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. CAV (1) (2018)
Jan Kretínský, Tobias Meggendorfer
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. CoRR (2018)
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
Continuous-Time Markov Decisions based on Partial Exploration. CoRR (2018)
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Compositionality for quantitative specifications. Soft Comput. 22 (4) (2018)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
LTL Store: Repository of LTL formulae from literature and case studies. CoRR (2018)
Javier Esparza, Jan Kretínský, Salomon Sickert
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. CoRR (2018)
Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
Strategy Representation by Decision Trees in Reactive Synthesis. TACAS (1) (2018)
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CAV (1) (2018)
Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Dagstuhl Reports 8 (3) (2018)
Jan Kretínský, Tobias Meggendorfer
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. LICS (2018)
Javier Esparza, Jan Kretínský, Salomon Sickert
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. LICS (2018)
Jan Kretínský, Alexej Rotar
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. CoRR (2018)
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. ISoLA (2) (2018)

Jan Kretínský.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Kretínský