Picture for Jan Křetínský

Jan Křetínský

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Add code
May 23, 2024
Viaarxiv icon

Learning Algorithms for Verification of Markov Decision Processes

Add code
Mar 20, 2024
Viaarxiv icon

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

Add code
Jul 20, 2023
Viaarxiv icon

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

Add code
Apr 19, 2023
Viaarxiv icon

Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces

Add code
Aug 29, 2022
Figure 1 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Figure 2 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Figure 3 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Figure 4 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Viaarxiv icon

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

Add code
Jun 03, 2022
Figure 1 for PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Figure 2 for PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Figure 3 for PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Figure 4 for PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Viaarxiv icon

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

Add code
Jan 24, 2022
Figure 1 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Figure 2 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Figure 3 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Figure 4 for Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Viaarxiv icon

LTL-Constrained Steady-State Policy Synthesis

Add code
May 31, 2021
Figure 1 for LTL-Constrained Steady-State Policy Synthesis
Figure 2 for LTL-Constrained Steady-State Policy Synthesis
Figure 3 for LTL-Constrained Steady-State Policy Synthesis
Figure 4 for LTL-Constrained Steady-State Policy Synthesis
Viaarxiv icon

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

Add code
Jan 15, 2021
Figure 1 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 2 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 3 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 4 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Viaarxiv icon

Formalizing and Guaranteeing* Human-Robot Interaction

Add code
Jun 30, 2020
Figure 1 for Formalizing and Guaranteeing* Human-Robot Interaction
Viaarxiv icon