Skip to content

Author

Jan Křetinský

We have 4 of 24 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Preprint Oct 2026

FoSeRL: Formal Sequential Robustness Certification for Reinforcement Learning Policies

Even a few action perturbations can substantially degrade the performance of a deployed decision policy. Certifying the resulting return loss is challenging in stochastic environments, where returns vary even without an attack. We introduce FoSeRL, a framework for certifying deployed RL policies against precommitted, t...

Sara Taheri, D. Ganguly, Jan Křetinský et al. · 0 citations
Preprint Jul 2026

dtControl2+$\varepsilon$: Trading Optimality for Explainability in MDPs via Decision Trees

This work constructs a smaller decision tree, distilling the essence of the controller, while still guaranteeing its $\varepsilon$-optimality, which enables the tool to provide tunably simpler explanations, omitting a controllable amount of detail.

Tereza Kinská, Jan Křetinský, Tobias Meggendorfer et al. · 0 citations
Preprint Aug 2026

Quantifying Risk Under Evolving Uncertainty: Belief-Dependent Robustness for Safe Sequential Decision Making

RATTL targets runtime safety for agents, including LLM-based systems, acting under uncertainty, and proves a Safety Sandwich: the RATTL value lies between the uninformed robust value and the full- knowledge optimum, with a gap that vanishes as the posterior concentrates.

D. Ganguly, Jan Křetinský · 0 citations
#artificial intelligence Preprint Aug 2026

Robust Risk Under Evolving Uncertainty: A Wasserstein Counterpart of the Entropic Value-at-Risk

An agent still learning its environment should be cautious while ignorant and bold once confident. The entropic value-at-risk captures this through a robust-optimization identity---a confidence level fixes the radius of a relative-entropy ball of alternative models---but that ball cannot reach catastrophes the nominal...

D. Ganguly, Jan Křetinský · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.