{"id":"arxiv/2610.02950","url":"https://arxiv.org/abs/2610.02950","tags":["eess.SY","math.DS","math.OC"],"score":0,"title":"Memory-Dependent Interval Markov Chain Abstractions of Stochastic Dynamics","domain":"eess.SY","source":"arxiv","authors":["Menno van Zutphen","Adrien Banse","Domagoj Herceg","Giannis Delimpaltadakis","Duarte Antunes"],"reviews":0,"subject":"eess.SY","summary":"Finite-state interval Markov-chain (IMC) abstractions provide sound verification and performance bounds for continuous-state stochastic systems by enclosing cell-to-cell transition probabilities and costs in intervals. Finite-state Markovian abstractions are generally lossy, as state aggregation often destroys the Markov property. Recently, memory-dependent Markov-chain (MC) abstractions of stochastic systems have been developed to mitigate this by recording recently visited cells. In this paper, we develop the memory-dependent extension of IMC abstractions. Building on the insight that…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-10-02","reactions":{}}