2 papers
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.SY2024
Predictable Interval MDPs through Entropy Regularization
Menno van Zutphen, Giannis Delimpaltadakis, Maurice Heemels +1
Regularization of control policies using entropy can be instrumental in adjusting predictability of real-world systems. Applications benefiting from such approaches range from, e.g…