Jan Kvret'insk'y

An Anytime Algorithm for Reachability on Uncountable MDP.

Tobias Meggendorfer, Maximilian Weininger, Kush Grover, 2020 .

Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks

Jan Kvret'insk'y, Milan vCevska, Milan Ceska, 2019, CAV.

Formalizing and guaranteeing human-robot interaction pdf

Ross A. Knepper, Nils Jansen, Kerstin Eder, 2020, Commun. ACM.

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

Luca Bortolussi, Laura Nenzi, Jan Kvret'insk'y, 2022, TACAS.

LTL-Constrained Steady-State Policy Synthesis

Jan Kvret'insk'y, Jan Kvret'insk'y, 2021, 2105.14894.