Memory-Dependent Interval Markov Chain Abstractions of Stochastic Dynamics

作者：Menno van Zutphen, Adrien Banse, Domagoj Herceg, Giannis Delimpaltadakis, Duarte Antunes · 单位：Control Systems Technology, Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands, Automatic Control Laboratory, ETH Zurich, Department of Information Technology and Electrical Engineering, Physikstrasse 3, 8092 Zurich, Switzerland, Robust and Intelligent Autonomous Systems Lab, The Italian Institute of Artificial Intelligence for Industry (AI4I), Corso Castelfidardo 22, 10129 Turin, Italy · 会议/期刊：arXiv preprint · 方向：eess.SY · 发布日期：2026-10-05