61 citations · 63 across the 8 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
eess.SY2026
Memory-Dependent Interval Markov Chain Abstractions of Stochastic Dynamics
Menno van Zutphen, Adrien Banse, Domagoj Herceg +2
Finite-state interval Markov-chain (IMC) abstractions provide sound verification and performance bounds for continuous-state stochastic systems by enclosing cell-to-cell transition…
eess.SY2026
PAC-Bayesian Certificates for Quadratic Closed-Loop Control
Domagoj Herceg
PAC-Bayesian bounds provide finite-sample guarantees for data-dependent randomized predictors, but applying them to learning-based control is difficult because the natural objectiv…
cs.LG2026
Distributionally Robust PAC-Bayesian Control
Domagoj Herceg, Duarte Antunes
We present a distributionally robust PAC-Bayesian framework for certifying the performance of learning-based finite-horizon controllers. While existing PAC-Bayes control literature…